Using Partial Orders to Improve Automatic Verification Methods

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Using Partial Orders to Improve Automatic Verification Methods

Source

Lecture Notes In Computer Science; Vol. 531 archive
Proceedings of the 2nd International Workshop on Computer Aided Verification table of contents

Pages: 176 - 185

Year of Publication: 1990

ISBN:3-540-54477-1

Author

Patrice Godefroid

Publisher

Springer-Verlag London, UK

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 29

Additional Information:

cited by collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

CITED BY 29

	Doron Peled , Antti Valmari , Ilkka Kokkarinen, Relaxed Visibility Enhances Partial Order Reduction, Formal Methods in System Design, v.19 n.3, p.275-289, November 2001
	Shing Chi Cheung , Jeff Kramer, Checking safety properties using compositional reachability analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), v.8 n.1, p.49-78, Jan. 1999
	Shing C. Cheung , Jeff Kramer, Checking subsystem safety properties in compositional reachability analysis, Proceedings of the 18th international conference on Software engineering, p.144-154, March 25-29, 1996, Berlin, Germany
	Patrice Godefroid, Model checking for programming languages using VeriSoft, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.174-186, January 15-17, 1997, Paris, France
	Michael Kishinevsky , Jordi Cortadella , Alex Kondratyev, Asynchronous interface specification, analysis and synthesis, Proceedings of the 35th annual conference on Design automation, p.2-7, June 15-19, 1998, San Francisco, California, United States
	Frédéric Herbreteau , Franck Cassez , Olivier Roux, Application of Partial-Order Methods to Reactive Programswith Event Memorization, Real-Time Systems, v.20 n.3, p.287-316, May 2001
	Simon St. James , Ulrich Ultes-Nitsche, Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, p.238-245, August 2001, Newport, Rhode Island, United States
	Edmund M. Clarke , Bernd-Holger Schlingloff, Model checking, Handbook of automated reasoning, Elsevier Science Publishers B. V., Amsterdam, The Netherlands, 2001
	Stephen Edwards , Luciano Lavagno , Edward A. Lee , Alberto Sangiovanni-Vincentelli, Design of embedded systems: formal models, validation, and synthesis, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
	Fong Pong , Michel Dubois, Verification techniques for cache coherence protocols, ACM Computing Surveys (CSUR), v.29 n.1, p.82-126, March 1997
	Jianwei Niu , Joanne M. Atlee , Nancy A. Day, Composable semantics for model-based notations, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, November 18-22, 2002, Charleston, South Carolina, USA
	Jianwei Niu , Joanne M. Atlee , Nancy A. Day, Composable semantics for model-based notations, ACM SIGSOFT Software Engineering Notes, v.27 n.6, November 2002
	Ahmed Helmy , Sandeep Gupta , Deborah Estrin, The STRESS method for boundary-point performance analysis of end-to-end multicast timer-suppression mechanisms, IEEE/ACM Transactions on Networking (TON), v.12 n.1, p.44-58, February 2004
	Cormac Flanagan , Stephen N. Freund , Shaz Qadeer, Exploiting purity for atomicity, ACM SIGSOFT Software Engineering Notes, v.29 n.4, July 2004
	BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction, IEEE Transactions on Software Engineering, v.30 n.6, p.403-417, June 2004
	Constance Heitmeyer , James Kirby, Jr. , Bruce Labaw , Myla Archer , Ramesh Bharadwaj, Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications, IEEE Transactions on Software Engineering, v.24 n.11, p.927-948, November 1998
	Cormac Flanagan , Stephen N. Freund , Shaz Qadeer, Exploiting Purity for Atomicity, IEEE Transactions on Software Engineering, v.31 n.4, p.275-291, April 2005
	Patrice Godefroid, Software Model Checking: The VeriSoft Approach, Formal Methods in System Design, v.26 n.2, p.77-101, March 2005
	Jan Romberg , Jewgenij Botaschanjan , Oscar Slotosch, Mode: a method for system-level architecture evaluation, Formal methods and models for system design: a system level perspective, Kluwer Academic Publishers, Norwell, MA, 2004
	Patrice Godefroid , Doron Peled , Mark Staskauskas, Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs, IEEE Transactions on Software Engineering, v.22 n.7, p.496-507, July 1996
	Eric Verlind , Gjalt de Jong , Bill Lin, Efficient partial enumeration for timing analysis of asynchronous systems, Proceedings of the 33rd annual conference on Design automation, p.55-58, June 03-07, 1996, Las Vegas, Nevada, United States
	L. M. Kristensen , K. Schmidt , A. Valmari, Question-guided stubborn set methods for state properties, Formal Methods in System Design, v.29 n.3, p.215-251, November 2006
	Tomohiro Yoneda , Bernd--Holger Schlingloff, Efficient Verification of Parallel Real–Time Systems, Formal Methods in System Design, v.11 n.2, p.187-215, Aug. 1997
	Ramesh Bharadwaj , Constance L. Heitmeyer, Model Checking Complete Requirements Specifications Using Abstraction, Automated Software Engineering, v.6 n.1, p.37-68, January 1999
	Alex Kondratyev , Michael Kishinevsky , Alexander Taubin , Sergei Ten, Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings, Formal Methods in System Design, v.12 n.1, p.5-38, Jan., 1998
	Susanne Graf , Andreas Prinz, Time in State Machines, Fundamenta Informaticae, v.77 n.1-2, p.143-174, January 2007
	Frédéric BÉAl , Tomohiro Yoneda , Chris J. Myers, A Conservative Framework for Safety-Failure Checking, IEICE - Transactions on Information and Systems, v.E91-D n.3, p.642-654, March 2008
	Sarah Hickmott , Jussi Rintanen , Sylvie Thiébaux , Lang White, Planning via Petri net unfolding, Proceedings of the 20th international joint conference on Artifical intelligence, p.1904-1911, January 06-12, 2007, Hyderabad, India
	Edmund M. Clarke , E. Allen Emerson , Joseph Sifakis, Model checking: algorithmic verification and debugging, Communications of the ACM, v.52 n.11, November 2009

Collaborative Colleagues:

Patrice Godefroid: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player