![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Formal Methods in System Design, Volume 58
Volume 58, Number 1-2, October 2021
- Maurice H. ter Beek
, Annabelle McIver
:
Formal methods: practical applications and foundations. 1-4 - Andrew Sogokon
, Stefan Mitsch
, Yong Kiam Tan
, Katherine Cordwell
, André Platzer
:
Pegasus: sound continuous invariant generation. 5-41 - Simon Jantsch
, David Müller, Christel Baier
, Joachim Klein:
From LTL to unambiguous Büchi automata via disambiguation of alternating automata. 42-82 - Frédéric Lang, Radu Mateescu, Franco Mazzanti:
Compositional verification of concurrent systems by combining bisimulations. 83-125 - Sandro Stucki
, César Sánchez
, Gerardo Schneider
, Borzoo Bonakdarpour
:
Gray-box monitoring of hyperproperties with an application to privacy. 126-159 - Philipp Körner
, Jens Bendisposto
, Jannik Dunkelau
, Sebastian Krings
, Michael Leuschel
:
Integrating formal specifications into applications: the ProB Java API. 160-187 - Marta Kwiatkowska
, Gethin Norman
, David Parker
, Gabriel Santos
:
Automatic verification of concurrent stochastic systems. 188-250 - Graeme Smith
, Nicholas Coughlin
, Toby Murray:
Information-flow control on ARM and POWER multicore processors. 251-293 - Rekha R. Pai
, Abhishek Singh, Deepak D'Souza, Meenakshi D'Souza, Prathibha Prakash
:
Static analysis for detecting high-level races in RTOS kernels. 294-321 - Lennart Beringer
, Andrew W. Appel
:
Abstraction and subsumption in modular verification of C programs. 322-345
Volume 58, Number 3, November 2021
- Rajeev Alur, Dana Fisman
:
Colored nested words. 347-374 - Rohit Dureja
, Kristin Y. Rozier:
Incremental design-space model checking via reusable reachable state approximations. 375-398 - Sahil Verma
, Subhajit Roy:
Debug-localize-repair: a symbiotic construction for heap manipulations. 399-439 - Georgios Kourtis
, Clare Dixon
, Michael Fisher
, Alexei P. Lisitsa
:
Parameterized verification of leader/follower systems via first-order temporal logic. 440-468 - Dana Fisman, Rishabh Singh, Armando Solar-Lezama
:
Special Issue on Syntax-Guided Synthesis Preface. 469-470
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.