|
- [PDF] Omar Bataineh, Mark Reynolds and David Rosenblum. A Comparative Study of Decision Diagrams for Real-time Model Checking
- [PDF] Jens Oliver Gutsfeld, Markus Müller-Olm and Benedikt Nordhoff. A Branching Time Variant of CaRet
- [PDF] Tamás Tóth and István Majzik. Lazy Reachability Checking for Timed Automata with Discrete Variables
- [PDF] Youngmin Kwon and Eunhee Kim. Quantitative Model Checking for a Controller Design
- [PDF] Daniel Gnad, Patrick Dubbert, Alberto Lluch Lafuente and Joerg Hoffmann. Star-Topology Decoupling in SPIN
- [PDF] Irina Mariuca Asavoae, Mihail Asavoae and Adrian Riesco. Context-Updates Analysis and Refinement in Chisel
- [PDF] Adrien Pommellet and Tayssir Touili. Model-Checking HyperLTL for Pushdown Systems
- [PDF] Bernard Berthomieu, Didier Le Botlan and Silvano Dal Zilio. Petri Net Reductions for Counting Markings
- [PDF] Martin Kölbl, Stefan Leue and Hargurbir Singh. From SysML to Model Checkers via Model Transformation
- [PDF] Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll and Joost-Pieter Katoen. Improving Generalization in Software IC3
- [PDF] Marek Chalupa, Jan Strejček and Martina Vitovská. Joint Forces For Memory Safety Checking
- [PDF] Antti Valmari and Vesa Lappalainen. Modelling Without a Modelling Language
- [PDF] Léo Henry, Thierry Jéron and Nicolas Markey. Control strategies for off-line testing of timed systems
- [PDF] Laura Panizo, Almudena Díaz and Bruno García. An extension of TRIANGLE testbed with model-based testing
- [PDF] Tatsuya Abe. Local Data Race Freedom with Non-Multi-Copy Atomicity
- [PDF] Lei Bu, Doron Peled, Dachuan Shen and Yuan Zhuang. Genetic Synthesis of Concurrent Code using Model Checking and Statistical Model Checking
Spin Homepage
Spin Symposia
| |