Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Kreiker, Jörg"'
Publikováno v:
EPTCS 326, 2020, pp. 97-113
Local fixpoint iteration describes a technique that restricts fixpoint iteration in function spaces to needed arguments only. It has been studied well for first-order functions in abstract interpretation and also in model checking. Here we consider t
Externí odkaz:
http://arxiv.org/abs/2009.10881
Publikováno v:
In Information and Computation November 2022 289 Part B
Many important systems such as concurrent heap-manipulating programs, communication networks, or distributed algorithms, are hard to verify due to their inherent dynamics and unboundedness. Graphs are an intuitive representation for the states of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::2e0f49f59462cc58722e63e4824c9517
https://research.utwente.nl/en/publications/graph-abstraction-and-abstract-graph-transformations-amended-version(2ed3f0ef-7f4d-4e3c-90bc-1203b4c0d227).html
https://research.utwente.nl/en/publications/graph-abstraction-and-abstract-graph-transformations-amended-version(2ed3f0ef-7f4d-4e3c-90bc-1203b4c0d227).html
This manifesto represents the results of the Dagstuhl Perspectives Workshop 10482 "Formal Methods Just a Euro-Science?" held from November 30 to December 3, 2010 at Schloss Dagstuhl, Germany. We strive to clarify the terminology and categorize the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e552353fcf2ea37e6a601524ddf8a92
Publikováno v:
Bulletin of the European Association for Theoretical Computer Science, 97, 106-116. European Association for Theoretical Computer Science
We are studying a particular graph abstraction, based on the concept of retaining neighbourhood information up to a certain radius for each node. In this contribution, we present a modal logic on graphs that is preserved and reflected by this abstrac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::000c1eea27c7238ff78991c6d5b5d616
https://research.utwente.nl/en/publications/graph-abstraction-for-a-modal-logic(f72316b7-bc04-4c32-ab72-7ac1c2606551).html
https://research.utwente.nl/en/publications/graph-abstraction-for-a-modal-logic(f72316b7-bc04-4c32-ab72-7ac1c2606551).html
Publikováno v:
Verification, Model Checking & Abstract Interpretation (9783642113185); 2010, p214-230, 17p
Autor:
Matthew Hague, Igor Potapov
This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The 12 full papers presented together with 1 invited paper were carefully reviewed and selecte
This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011. Carolyn Talcott is a leading research
Autor:
Gilles Barthe, Manuel Hermenegildo
This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previou