![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Formal Methods in System Design, Volume 42
Volume 42, Number 1, February 2013
- Ofer Strichman, Daniel Kroening
:
Preface to the special issue "SI: Satisfiability Modulo Theories". 1-2 - Christoph M. Wintersteiger
, Youssef Hamadi, Leonardo Mendonça de Moura:
Efficiently solving quantified bit-vector formulas. 3-23 - Silvio Ranise
:
Symbolic backward reachability with effectively propositional logic - Applications to security policy analysis. 24-45 - Alessandro Cimatti
, Sergio Mover, Stefano Tonetta:
SMT-based scenario verification for hybrid systems. 46-66 - Dejan Jovanovic, Clark W. Barrett
:
Being careful about theory combination. 67-90 - Aaron Stump, Duckki Oe, Andrew Reynolds, Liana Hadarean, Cesare Tinelli
:
SMT proof checking using a logical framework. 91-118
Volume 42, Number 2, April 2013
- Étienne André
, Laurent Fribourg, Jeremy Sproston:
An extension of the inverse method to probabilistic timed automata. 119-145 - Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Rupak Majumdar, Vishwanath Raman:
Code aware resource management. 146-174 - Kunihiko Hiraishi, Koichi Kobayashi:
An approximation algorithm for box abstraction of transition systems on real state spaces. 175-192 - Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen
, Axel Legay, Claus R. Thrane:
Weighted modal transition systems. 193-220
Volume 42, Number 3, June 2013
- Daniel Kroening
, Natasha Sharygina
, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
:
Loop summarization using state and transition invariants. 221-261 - S. Akshay, Benedikt Bollig, Paul Gastin:
Event clock message passing automata: a logical characterization and an emptiness checking algorithm. 262-300 - Krishnendu Chatterjee, Monika Henzinger
, Manas Joglekar, Nisarg Shah:
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. 301-327
![](https://dblp.org/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.