Search results for "Spin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Patrice Godefroid	Software Model Checking Improving Security of a Billion Computers.	SPIN	2009	DBLP DOI BibTeX RDF
28	Neha Rungta, Eric G. Mercer, Willem Visser	Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.	SPIN	2009	DBLP DOI BibTeX RDF
28	Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)	Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings	SPIN	2008	DBLP DOI BibTeX RDF
28	Sami Evangelista	Dynamic Delayed Duplicate Detection for External Memory Model Checking.	SPIN	2008	DBLP DOI BibTeX RDF
28	Fang Yu 0001, Tevfik Bultan, Marco Cova, Oscar H. Ibarra	Symbolic String Verification: An Automata-Based Approach.	SPIN	2008	DBLP DOI BibTeX RDF
28	Frank Ciesinski, Christel Baier, Marcus Größer, David Parker 0001	Generating Compact MTBDD-Representations from ProbmelaSpecifications.	SPIN	2008	DBLP DOI BibTeX RDF
28	Malay K. Ganai, Aarti Gupta	Efficient Modeling of Concurrent Systems in BMC.	SPIN	2008	DBLP DOI BibTeX RDF
28	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Tackling Large Verification Problems with the Swarm Tool.	SPIN	2008	DBLP DOI BibTeX RDF
28	Nazha Abed, Stavros Tripakis, Jean-Marc Vincent	Resource-Aware Verification Using Randomized Exploration of Large State Spaces.	SPIN	2008	DBLP DOI BibTeX RDF
28	Stefan Leue, Alin Stefanescu, Wei Wei 0015	Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.	SPIN	2008	DBLP DOI BibTeX RDF
28	Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon	Symbolic Context-Bounded Analysis of Multithreaded Java Programs.	SPIN	2008	DBLP DOI BibTeX RDF
28	Peter Lamborn, Eric A. Hansen	Layered Duplicate Detection in External-Memory Model Checking.	SPIN	2008	DBLP DOI BibTeX RDF
28	Matthew B. Dwyer, Rahul Purandare	Residual Checking of Safety Properties.	SPIN	2008	DBLP DOI BibTeX RDF
28	Harald Fecher, Sharon Shoham	State Focusing: Lazy Abstraction for the Mu-Calculus.	SPIN	2008	DBLP DOI BibTeX RDF
28	Yannis Smaragdakis	Combining Static and Dynamic Reasoning for the Discovery of Program Properties.	SPIN	2008	DBLP DOI BibTeX RDF
28	Shaz Qadeer	The Case for Context-Bounded Verification of Concurrent Programs.	SPIN	2008	DBLP DOI BibTeX RDF
28	Radu Mateescu 0001, Emilie Oudot	Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.	SPIN	2008	DBLP DOI BibTeX RDF
28	Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Efficient Stateful Dynamic Partial Order Reduction.	SPIN	2008	DBLP DOI BibTeX RDF
28	Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann	Using Dynamic Symbolic Execution to Improve Deductive Verification.	SPIN	2008	DBLP DOI BibTeX RDF
28	Dragan Bosnacki, Stefan Edelkamp (eds.)	Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings	SPIN	2007	DBLP DOI BibTeX RDF
28	Dennis Dams	StackSnuffer: Curing Orion's Unsoundness.	SPIN	2007	DBLP DOI BibTeX RDF
28	Mohamed Nassim Seghir, Andreas Podelski	ACSAR: Software Model Checking with Transfinite Refinement.	SPIN	2007	DBLP DOI BibTeX RDF
28	Joel P. Self, Eric G. Mercer	On-the-Fly Dynamic Dead Variable Analysis.	SPIN	2007	DBLP DOI BibTeX RDF
28	Harald Fecher, Sharon Shoham	Local Abstraction-Refinement for the mu-Calculus.	SPIN	2007	DBLP DOI BibTeX RDF
28	María-del-Mar Gallardo, Christophe Joubert, Pedro Merino 0001, David Sanán	C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.	SPIN	2007	DBLP DOI BibTeX RDF
28	Neha Rungta, Eric G. Mercer	Generating Counter-Examples Through Randomized Guided Search.	SPIN	2007	DBLP DOI BibTeX RDF
28	Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv	Cartesian Partial-Order Reduction.	SPIN	2007	DBLP DOI BibTeX RDF
28	Yu Yang 0013, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.	SPIN	2007	DBLP DOI BibTeX RDF
28	Radek Pelánek	BEEM: Benchmarks for Explicit Model Checkers.	SPIN	2007	DBLP DOI BibTeX RDF
28	Gérard Basler, Daniel Kroening, Georg Weissenbacher	SAT-Based Summarization for Boolean Programs.	SPIN	2007	DBLP DOI BibTeX RDF
28	Jiri Barnat, Lubos Brim, Petr Rockai	Scalable Multi-core LTL Model-Checking.	SPIN	2007	DBLP DOI BibTeX RDF
28	Lubos Brim, Jiri Barnat	Tutorial: Parallel Model Checking.	SPIN	2007	DBLP DOI BibTeX RDF
28	Swarat Chaudhuri, Rajeev Alur	Instrumenting C Programs with Nested Word Monitors.	SPIN	2007	DBLP DOI BibTeX RDF
28	Antti Valmari (eds.)	Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings	SPIN	2006	DBLP DOI BibTeX RDF
28	Charles Pecheur, Brian Williams (eds.)	Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005	MoChArt@CONCUR/SPIN	2006	DBLP BibTeX RDF
28	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic Execution with Abstract Subsumption Checking.	SPIN	2006	DBLP DOI BibTeX RDF
28	Harald Fecher, Martin Leucker, Verena Wolf	Don't Know in Probabilistic Systems.	SPIN	2006	DBLP DOI BibTeX RDF
28	Jaco Geldenhuys, Henri Hansen	Larger Automata and Less Work for LTL Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF
28	Guy Edward Gallasch, Jonathan Billington	A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols.	SPIN	2006	DBLP DOI BibTeX RDF	Stop and Wait Protocols, Infinite Families of Systems, Parametric Reachability Graphs, Coloured Petri Nets
28	Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang 0013, Robert M. Kirby, Ganesh Gopalakrishnan	Parallel and Distributed Model Checking in Eddy.	SPIN	2006	DBLP DOI BibTeX RDF
28	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.	SPIN	2006	DBLP DOI BibTeX RDF
28	Sebastian Kupferschmid, Jörg Hoffmann 0001, Henning Dierks, Gerd Behrmann	Adapting an AI Planning Heuristic for Directed Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF
28	Matthias Kuntz, Markus Siegle	Symbolic Model Checking of Stochastic Systems: Theory and Implementation.	SPIN	2006	DBLP DOI BibTeX RDF	performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems
28	Christophe Joubert, Radu Mateescu 0001	Distributed On-the-Fly Model Checking and Test Case Generation.	SPIN	2006	DBLP DOI BibTeX RDF
28	Harmen Kastenberg, Arend Rensink	Model Checking Dynamic States in GROOVE.	SPIN	2006	DBLP DOI BibTeX RDF
28	Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan	Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications.	SPIN	2006	DBLP DOI BibTeX RDF
28	Klaus Dräger, Bernd Finkbeiner, Andreas Podelski	Directed Model Checking with Distance-Preserving Abstractions.	SPIN	2006	DBLP DOI BibTeX RDF
28	Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen	jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str).	SPIN	2006	DBLP DOI BibTeX RDF
28	Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001	A Counterexample-Guided Refinement Tool for Open Procedural Programs.	SPIN	2006	DBLP DOI BibTeX RDF	CSP, software model checking, game semantics, abstraction refinement, FDR
28	Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt	Verification of Medical Guidelines by Model Checking - A Case Study.	SPIN	2006	DBLP DOI BibTeX RDF	Asbru, medical guidelines, Model checking, verification, formal methods, abstraction
28	Patrice Godefroid (eds.)	Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings	SPIN	2005	DBLP DOI BibTeX RDF
28	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The BLAST Software Verification System.	SPIN	2005	DBLP DOI BibTeX RDF
28	Yung-Pin Cheng	Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.	SPIN	2005	DBLP DOI BibTeX RDF
28	Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani	Sound Transaction-Based Reduction Without Cycle Detection.	SPIN	2005	DBLP DOI BibTeX RDF
28	Sami Evangelista, Jean-François Pradat-Peyre	Memory Efficient State Space Storage in Explicit Software Model Checking.	SPIN	2005	DBLP DOI BibTeX RDF
28	Anil Madhavapeddy, David J. Scott, Richard Sharp	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions.	SPIN	2005	DBLP DOI BibTeX RDF
28	Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud	On-the-Fly Emptiness Checks for Generalized Büchi Automata.	SPIN	2005	DBLP DOI BibTeX RDF
28	Byron Cook, Daniel Kroening, Natasha Sharygina	Symbolic Model Checking for Asynchronous Boolean Programs.	SPIN	2005	DBLP DOI BibTeX RDF
28	Tomás Barros, Ludovic Henrio, Eric Madelaine	Behavioural Models for Hierarchical Components.	SPIN	2005	DBLP DOI BibTeX RDF
28	Willem Visser, Peter C. Mehlitz	Model Checking Programs with Java PathFinder.	SPIN	2005	DBLP DOI BibTeX RDF
28	Cristian Cadar, Dawson R. Engler	Execution Generated Test Cases: How to Make Systems Code Crash Itself.	SPIN	2005	DBLP DOI BibTeX RDF
28	Eric Mercer, Michael D. Jones	Model Checking Machine Code with the GNU Debugger.	SPIN	2005	DBLP DOI BibTeX RDF
28	David A. Wagner 0001	Pushdown Model Checking for Security.	SPIN	2005	DBLP DOI BibTeX RDF
28	Dimitra Giannakopoulou, Corina S. Pasareanu	Learning-Based Assume-Guarantee Verification (Tool Paper).	SPIN	2005	DBLP DOI BibTeX RDF
28	Madanlal Musuvathi, David L. Dill	An Incremental Heap Canonicalization Algorithm.	SPIN	2005	DBLP DOI BibTeX RDF
28	Stefan Leue, Wei Wei 0015	Counterexample-Based Refinement for a Boundedness Test for CFSM Languages.	SPIN	2005	DBLP DOI BibTeX RDF
28	Gihwon Kwon	Relay Reachability Algorithm for Exploring Huge State Space.	MoChArt@CONCUR/SPIN	2005	DBLP DOI BibTeX RDF
28	Paolo Ballarini, Michael Fisher 0001, Michael J. Wooldridge	Automated Game Analysis via Probabilistic Model Checking: a case study.	MoChArt@CONCUR/SPIN	2005	DBLP DOI BibTeX RDF
28	Stefan Edelkamp, Shahid Jabbar	Action Planning for Directed Model Checking of Petri Nets.	MoChArt@CONCUR/SPIN	2005	DBLP DOI BibTeX RDF
28	Charles Pecheur, Brian Williams	Preface.	MoChArt@CONCUR/SPIN	2005	DBLP DOI BibTeX RDF
28	Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan	Model Checking Russian Cards.	MoChArt@CONCUR/SPIN	2005	DBLP DOI BibTeX RDF
28	David J. Musliner, Michael J. S. Pelican, Robert P. Goldman	Incremental Verification for On-the-Fly Controller Synthesis.	MoChArt@CONCUR/SPIN	2005	DBLP DOI BibTeX RDF
28	Tilman Mehler, Stefan Edelkamp	Dynamic Incremental Hashing in Program Model Checking.	MoChArt@CONCUR/SPIN	2005	DBLP DOI BibTeX RDF
28	Kairong Qian, Albert Nymeyer	Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis.	MoChArt@CONCUR/SPIN	2005	DBLP DOI BibTeX RDF
28	Dan Lawesson, Ulf Nilsson, Inger Klein	An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems.	MoChArt@CONCUR/SPIN	2005	DBLP DOI BibTeX RDF
28	Sylvain Kerjean, Froduald Kabanza, Richard St-Denis, Sylvie Thiébaux	Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress).	MoChArt@CONCUR/SPIN	2005	DBLP DOI BibTeX RDF
28	Susanne Graf, Laurent Mounier (eds.)	Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings	SPIN	2004	DBLP DOI BibTeX RDF
28	Radek Pelánek	Typical Structural Properties of State Spaces.	SPIN	2004	DBLP DOI BibTeX RDF
28	Michael D. Jones, Eric Mercer	Explicit State Model Checking with Hopper.	SPIN	2004	DBLP DOI BibTeX RDF
28	Peter Leven, Tilman Mehler, Stefan Edelkamp	Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM.	SPIN	2004	DBLP DOI BibTeX RDF
28	Moez Krichen, Stavros Tripakis	Black-Box Conformance Testing for Real-Time Systems.	SPIN	2004	DBLP DOI BibTeX RDF
28	Corina S. Pasareanu, Willem Visser	Verification of Java Programs Using Symbolic Execution and Invariant Generation.	SPIN	2004	DBLP DOI BibTeX RDF
28	Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova	Using Fairness to Make Abstractions Work.	SPIN	2004	DBLP DOI BibTeX RDF
28	Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober	IF Validation Environment Tutorial.	SPIN	2004	DBLP DOI BibTeX RDF
28	Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu 0001	Model Checking Genetic Regulatory Networks Using GNA and CADP.	SPIN	2004	DBLP DOI BibTeX RDF
28	Alain Finkel, Jérôme Leroux	Polynomial Time Image Computation with Interval-Definable Counters Systems.	SPIN	2004	DBLP DOI BibTeX RDF
28	Iulian Ober, Susanne Graf, Ileana Ober	Validation of UML Models via a Mapping to Communicating Extended Timed Automata.	SPIN	2004	DBLP DOI BibTeX RDF
28	Gerard J. Holzmann, Rajeev Joshi	Model-Driven Software Verification.	SPIN	2004	DBLP DOI BibTeX RDF
28	Hubert Garavel, Radu Mateescu 0001	SEQ.OPEN: A Tool for Efficient Trace-Based Verification.	SPIN	2004	DBLP DOI BibTeX RDF
28	Reinhard Wilhelm	Formal Analysis of Processor Timing Models.	SPIN	2004	DBLP DOI BibTeX RDF
28	Stefan Leue, Richard Mayr, Wei Wei 0015	A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.	SPIN	2004	DBLP DOI BibTeX RDF
28	Thomas Ball, Sriram K. Rajamani (eds.)	Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings	SPIN	2003	DBLP DOI BibTeX RDF
28	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre	Software Verification with BLAST.	SPIN	2003	DBLP DOI BibTeX RDF
28	Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt	Formal Modeling and Analysis of an Avionics Triplex Sensor Voter.	SPIN	2003	DBLP DOI BibTeX RDF
28	Timo Latvala	Efficient Model Checking of Safety Properties.	SPIN	2003	DBLP DOI BibTeX RDF
28	K. Rustan M. Leino	A SAT Characterization of Boolean-Program Correctness.	SPIN	2003	DBLP DOI BibTeX RDF
28	Jaco Geldenhuys, Antti Valmari	A Nearly Memory-Optimal Data Structure for Sets and Mappings.	SPIN	2003	DBLP DOI BibTeX RDF
28	Ivana Cerná, Radek Pelánek	Distributed Explicit Fair Cycle Detection (Set Based Approach).	SPIN	2003	DBLP DOI BibTeX RDF
28	Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner	A Methodology for Model-Checking Ad-hoc Networks.	SPIN	2003	DBLP DOI BibTeX RDF
28	Alex Groce, Willem Visser	What Went Wrong: Explaining Counterexamples.	SPIN	2003	DBLP DOI BibTeX RDF