Stop the war!
Остановите войну!
for scientists:
default search action
Formal Methods in System Design, Volume 49
Volume 49, Numbers 1-2, October 2016
- Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher:
Abstraction and mining of traces to explain concurrency bugs. 1-32 - Stefan Mitsch, André Platzer:
ModelPlex: verified runtime validation of verified cyber-physical system models. 33-74 - David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel:
Scalable offline monitoring of temporal specifications. 75-108 - Christian Colombo, Yliès Falcone:
Organising LTL monitors over distributed systems with a global clock. 109-158
Volume 49, Number 3, December 2016
- Fatemeh Ghassemi, Wan J. Fokkink:
Model checking mobile ad hoc networks. 159-189 - Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta:
Infinite-state invariant checking with IC3 and predicate abstraction. 190-218 - Javier Esparza, Jan Kretínský, Salomon Sickert:
From LTL to deterministic automata - A safraless compositional approach. 219-271 - Ajith K. John, Supratik Chakraborty:
A layered algorithm for quantifier elimination from linear modular constraints. 272-323
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.