Conferences in DBLP
Edmund M. Clarke SAT-Based Counterexample Guided Abstraction Refinement. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:1- [Conf ] Patrick Cousot Abstract Interpretation: Theory and Practice. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:2-5 [Conf ] Theo C. Ruys SPIN Tutorial: How to Become a SPIN Doctor. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:6-13 [Conf ] Dennis Dams Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:14-21 [Conf ] Radu Iosif Symmetry Reduction Criteria for Software Model Checking. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:22-41 [Conf ] David A. Basin , Stefan Friedrich , Marek Gawkowski , Joachim Posegga Bytecode Model Checking: An Experimental Analysis. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:42-59 [Conf ] Harry C. Li , Kathi Fisler , Shriram Krishnamurthi The Influence of Software Module Systems on Modular Verification. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:60-78 [Conf ] Armelle Prigent , Franck Cassez , Philippe Dhaussy , Olivier Roux Extending the Translation from SDL to Promela. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:79-94 [Conf ] Wiebe van der Hoek , Michael Wooldridge Model Checking Knowledge and Time. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:95-111 [Conf ] Alberto Lluch-Lafuente , Stefan Edelkamp , Stefan Leue Partial Order Reduction in Directed Model Checking. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:112-127 [Conf ] Benedikt Bollig , Martin Leucker , Michael Weber 0002 Local Parallel Model Checking for the Alternation-Free µ-Calculus. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:128-147 [Conf ] James S. Pascoe , Roger J. Loader , Vaidy S. Sunderam The Agreement Problem Protocol Verification Environment. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:148-169 [Conf ] Hyun-Wook Jin , Ki-Seok Bang , Chuck Yoo , Jin-Young Choi , Hojung Cha Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:170-186 [Conf ] Paolo Maggi , Riccardo Sisto Using SPIN to Verify Security Properties of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:187-204 [Conf ] Ramazan Savas Aygün , Aidong Zhang Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:205-212 [Conf ] Olga Shumsky Matlin , Ewing L. Lusk , William McCune SPINning Parallel Systems Software. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:213-220 [Conf ] Denis Lugiez , Peter Niebert , Sarah Zennou Dynamic Bounds and Transition Merging for Local First Search. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:221-229 [Conf ] Cindy Eisner , Doron Peled Comparing Symbolic and Explicit Model Checking of a Software System. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:230-239 [Conf ] Per Bjesse Industrial Model Checking Based on Satisfiability Solvers. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:240- [Conf ] Yves-Marie Quemener A Typical Testing Problem: Validating WML Cellphones. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:241- [Conf ] Alex Groce , Willem Visser Heuristic Model Checking for Java Programs. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:242-245 [Conf ] Christian Stehno System Specification and Verification Using High Level Concepts - A Tool Demonstration. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:246-249 [Conf ] Tiziana Margaria , Oliver Niese , Bernhard Steffen Demonstration of an Automated Integrated Test Environment for Web-Based Applications. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:250-253 [Conf ] María-del-Mar Gallardo , Jesús Martínez , Pedro Merino , Ernesto Pimentel alpha SPIN: Extending SPIN with Abstraction. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:254-258 [Conf ]