Abstract is missing.
- Software Model Checking Improving Security of a Billion ComputersPatrice Godefroid. 1 [doi]
- On Quantitative Software VerificationMarta Z. Kwiatkowska. 2-3 [doi]
- The Quest for Correctness-Beyond a Posteriori VerificationJoseph Sifakis. 4 [doi]
- Who Really Cares If the Program Crashes?Willem Visser. 5 [doi]
- Tool Presentation: Teaching Concurrency and Model CheckingMordechai Ben-Ari. 6-11 [doi]
- Fast, All-Purpose State StoragePeter C. Dillinger, Panagiotis Manolios. 12-31 [doi]
- Efficient Probabilistic Model Checking on General Purpose Graphics ProcessorsDragan Bosnacki, Stefan Edelkamp, Damian Sulewski. 32-49 [doi]
- Improving Non-Progress Cycle ChecksDavid Faragó, Peter H. Schmitt. 50-67 [doi]
- Reduction of Verification Conditions for Concurrent System Using Mutually Atomic TransactionsMalay K. Ganai, Sudipta Kundu. 68-87 [doi]
- Probabilistic Reachability for Parametric Markov ModelsErnst Moritz Hahn, Holger Hermanns, Lijun Zhang. 88-106 [doi]
- Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo SystemsAlexander Heußner, Tristan Le Gall, Grégoire Sutre. 107-124 [doi]
- A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with LocksNicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps. 125-142 [doi]
- Eclipse Plug-In for Spin and st2msc Tools-Tool PresentationTim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik. 143-147 [doi]
- Symbolic Analysis via Semantic ReinterpretationJunghee Lim, Akash Lal, Thomas W. Reps. 148-168 [doi]
- EMMA: Explicit Model Checking Manager (Tool Presentation)Radek Pelánek, Václav Rosecký. 169-173 [doi]
- Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic ExecutionNeha Rungta, Eric G. Mercer, Willem Visser. 174-191 [doi]
- Subsumer-First: Steering Symbolic Reachability AnalysisAndrey Rybalchenko, Rishabh Singh. 192-204 [doi]
- Identifying Modeling Errors in Signatures by Model CheckingSebastian Schmerl, Michael Vogel, Hartmut König. 205-222 [doi]
- Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and SpinOliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek. 223-240 [doi]
- Verification of GALS Systems by Combining Synchronous Languages and Process CalculiHubert Garavel, Damien Thivolle. 241-260 [doi]
- Experience with Model Checking LinearizabilityMartin T. Vechev, Eran Yahav, Greta Yorsh. 261-278 [doi]
- Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic AnalysisYu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang. 279-295 [doi]