Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal 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
a service of 
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.
last updated on 2024-04-25 05:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
