Journal: Formal Methods in System Design

Volume 48, Issue 3

149 -- 151Marta Kwiatkowska, Moshe Y. Vardi, Ahmed Bouajjani, Thomas Ball. 2014 CAV award announcement
152 -- 174Jean-Christophe Filliâtre, Léon Gondelman, Andrei Paskevich. The spirit of ghost code
175 -- 205Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki. SMT-based model checking for recursive programs
206 -- 234Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze, Cesare Tinelli, Clark Barrett, Morgan Deters. An efficient SMT solver for string constraints
235 -- 256Rahul Sharma 0001, Alex Aiken. From invariant checking to invariant inference using randomized search
257 -- 273Ashish Tiwari, Patrick Lincoln. A search-based procedure for nonlinear real arithmetic
274 -- 300Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki. Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components

Volume 48, Issue 1-2

1 -- 45Karine Altisen, Matthieu Moy. Causality problem in real-time calculus
46 -- 93Andreas Bauer 0002, Yliès Falcone. Decentralised LTL monitoring
94 -- 147Paul C. Attie. Synthesis of large dynamic concurrent programs from dynamic specifications