default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal 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
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 2025-12-05 22:25 CET 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:
