default search action
Formal Methods in System Design, Volume 47
Volume 47, Number 1, August 2015
- Philipp Rümmer, Hossein Hojjat, Viktor Kuncak:
On recursion-free Horn clauses and Craig interpolation. 1-25 - Christian von Essen, Barbara Jobstmann:
Program repair without regret. 26-50 - Yakir Vizel, Alexander Nadel, Vadim Ryvchin:
Efficient generation of small interpolants in CNF. 51-74 - Daniel Kroening, Matt Lewis, Georg Weissenbacher:
Under-approximating loops in C programs for fast counterexample detection. 75-92 - Loris D'Antoni, Margus Veanes:
Extended symbolic finite automata and transducers. 93-119 - Pranav Garg, Christof Löding, P. Madhusudan, Daniel Neider:
Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists. 120-157
Volume 47, Number 2, October 2015
- Jonathan Heinen, Christina Jansen, Joost-Pieter Katoen, Thomas Noll:
Juggrnaut: using graph grammars for abstracting unbounded heap structures. 159-203 - Dima Elenbogen, Shmuel Katz, Ofer Strichman:
Proving mutual termination. 204-229 - Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca:
CEGAR for compositional analysis of qualitative properties in Markov decision processes. 230-264
Volume 47, Number 3, December 2015
- Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
Evaluation of anonymity and confidentiality protocols using theorem proving. 265-286 - Sagar Chaki, Arie Gurfinkel, Ofer Strichman:
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation). 287-301 - Eric Goubault, Sylvie Putot:
A zonotopic framework for functional abstractions. 302-360
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.