Abstract is missing.
- Software Model Checking for Mobile Security - Collusion Detection in \mathbb K KIrina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach. 3-25 [doi]
- Efficient Runtime Verification of First-Order Temporal PropertiesKlaus Havelund, Doron Peled. 26-47 [doi]
- Program Verification with Separation LogicRadu Iosif. 48-62 [doi]
- Petri Net Reductions for Counting MarkingsBernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio. 65-84 [doi]
- Improving Generalization in Software IC3Tim Lange 0001, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. 85-102 [doi]
- Star-Topology Decoupling in SPINDaniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann 0001. 103-114 [doi]
- Joint Forces for Memory Safety CheckingMarek Chalupa, Jan Strejcek, Martina Vitovská. 115-132 [doi]
- Model-Checking HyperLTL for Pushdown SystemsAdrien Pommellet, Tayssir Touili. 133-152 [doi]
- A Branching Time Variant of CaRetJens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff. 153-170 [doi]
- Control Strategies for Off-Line Testing of Timed SystemsLéo Henry, Thierry Jéron, Nicolas Markey. 171-189 [doi]
- An Extension of TRIANGLE Testbed with Model-Based TestingLaura Panizo, Almudena Díaz, Bruno García. 190-195 [doi]
- Local Data Race Freedom with Non-multi-copy AtomicityTatsuya Abe. 196-215 [doi]
- A Comparative Study of Decision Diagrams for Real-Time Model CheckingOmar I. Al-Bataineh, Mark Reynolds, David Rosenblum. 216-234 [doi]
- Lazy Reachability Checking for Timed Automata with Discrete VariablesTamás Tóth, István Majzik. 235-254 [doi]
- From SysML to Model Checkers via Model TransformationMartin Kölbl, Stefan Leue, Hargurbir Singh. 255-274 [doi]
- Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model CheckingLei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang. 275-291 [doi]
- Quantitative Model Checking for a Controller DesignYoungmin Kwon, Eunhee Kim. 292-307 [doi]
- Modelling Without a Modelling LanguageAntti Valmari, Vesa Lappalainen. 308-327 [doi]
- Context-Updates Analysis and Refinement in ChiselIrina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco. 328-346 [doi]