Abstract is missing.
- Verifying VLSI CircuitsMark R. Greenstreet. 1-20 [doi]
- 3-Valued Abstraction for (Bounded) Model CheckingOrna Grumberg. 21 [doi]
- Local Search in Model CheckingA. W. Roscoe, P. J. Armstrong, Pragyesh. 22-38 [doi]
- Exploring the Scope for Partial Order ReductionJaco Geldenhuys, Henri Hansen, Antti Valmari. 39-53 [doi]
- State Space Reduction of Linear Processes Using Control Flow ReconstructionJaco van de Pol, Mark Timmer. 54-68 [doi]
- A Data Symmetry Reduction Technique for Temporal-epistemic LogicMika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu. 69-83 [doi]
- TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri NetsJoakim Byg, Kenneth Yrke Jørgensen, Jirà Srba. 84-89 [doi]
- CLAN: A Tool for Contract Analysis and Conflict DiscoveryStephen Fenech, Gordon J. Pace, Gerardo Schneider. 90-96 [doi]
- UnitCheck: Unit Testing and Model Checking CombinedMichal Kebrt, Ondrej Sery. 97-103 [doi]
- LTL Model Checking of Time-Inhomogeneous Markov ChainsTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. 104-119 [doi]
- Statistical Model Checking Using Perfect SimulationDiana El Rabih, Nihal Pekergin. 120-134 [doi]
- Quantitative Analysis under Fairness ConstraintsChristel Baier, Marcus Größer, Frank Ciesinski. 135-150 [doi]
- A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid SystemsJens Oehlerking, Oliver E. Theel. 151-165 [doi]
- Memory Usage Verification Using Hip/SleekGuanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin. 166-181 [doi]
- Solving Parity Games in PracticeOliver Friedmann, Martin Lange. 182-196 [doi]
- Automated Analysis of Data-Dependent Programs with Dynamic MemoryParosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji. 197-212 [doi]
- On-the-fly Emptiness Check of Transition-Based Streett AutomataAlexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur. 213-227 [doi]
- On Minimal Odd Rankings for Büchi ComplementationHrishikesh Karmarkar, Supratik Chakraborty. 228-243 [doi]
- Specification Languages for Stutter-Invariant Regular PropertiesChristian Dax, Felix Klaedtke, Stefan Leue. 244-254 [doi]
- Incremental False Path Elimination for Static Software AnalysisAnsgar Fehnker, Ralf Huuck, Sean Seefried. 255-270 [doi]
- A Framework for Compositional Verification of Multi-valued Systems via Abstraction-RefinementYael Meller, Orna Grumberg, Sharon Shoham. 271-288 [doi]
- ::::Don t Know:::: for Multi-valued SystemsAlarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma. 289-305 [doi]
- Logahedra: A New Weakly Relational DomainJacob M. Howe, Andy King. 306-320 [doi]
- Synthesis of Fault-Tolerant Distributed SystemsRayna Dimitrova, Bernd Finkbeiner. 321-336 [doi]
- Formal Verification for High-Assurance Behavioral SynthesisSandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang. 337-351 [doi]
- Dynamic Observers for the Synthesis of Opaque SystemsFranck Cassez, Jérémy Dubreil, Hervé Marchand. 352-367 [doi]
- Symbolic CTL Model Checking of Asynchronous Systems Using Constrained SaturationYang Zhao, Gianfranco Ciardo. 368-381 [doi]
- LTL Model Checking for Recursive ProgramsGeng-Dian Huang, Lin-Zan Cai, Farn Wang. 382-396 [doi]
- On Detecting Regular Predicates in Distributed SystemsHongtao Huang. 397-411 [doi]