MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Model Checking Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

190 documents found, showing 1 through 10. Next 10 →

ATOM

Model Checking Programs
by Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park — 2000 — AUTOMATED SOFTWARE ENGINEERING JOURNAL
…Model Checking Programs Willem Visser RIACS/NASA Ames Research Center Moffet Field, CA 94035, USA…
Cited by 266 (53 self) – Add To MetaCart

Model-Checking and Program Analysis: Preliminaries
by Neil D. Jones, Julia Lawall, Henrik Reif Andersen
… State Model Checking by Abstract Interpretation and Program Specialisation. Proceedings of LOPSTR'99…
Add To MetaCart

Configurable software verification: Concretizing the convergence of model checking and program
by Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz — 2007 — In Conf. on Computer Aided Verification (CAV
…Configurable Software Verification: Concretizing the Convergence of Model Checking and Program…
Cited by 3 (2 self) – Add To MetaCart

Model Checking for Programming Languages using VeriSoft
by Patrice Godefroid — 1997 — IN PROCEEDINGS OF THE 24TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
…Model Checking for Programming Languages using VeriSoft Patrice Godefroid Bell Laboratories Lucent…
Cited by 242 (9 self) – Add To MetaCart

Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing
by N. V. Shilov, K. Yi — 2000 — Computer Laboratory, University of Kent at
…Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing…
Cited by 3 (2 self) – Add To MetaCart

Model checking multithreaded programs with asynchronous atomic methods
by Koushik Sen, Mahesh Viswanathan — 2006 — In 18th International Conference on Computer Aided Verification (CAV’06). LNCS
…Model Checking Multithreaded Programs with Asynchronous Atomic Methods Koushik Sen and Mahesh…
Cited by 7 (4 self) – Add To MetaCart

Model checking networked programs in the presence of transmission failures
by Cyrille Artho — 2007 — In Proc. 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007
…Model Checking Networked Programs in the Presence of Transmission Failures Cyrille Artho National…
Cited by 4 (2 self) – Add To MetaCart

Boolean and Cartesian Abstraction for Model Checking C Programs
by Thomas Ball, Thomas Ball, Andreas Podelski, Andreas Podelski, Sriram K. Rajamani, Sriram K. Rajamani — 2001
…Boolean and Cartesian Abstraction for Model Checking C Programs Thomas Ball Andreas Podelski Sriram…
Cited by 92 (8 self) – Add To MetaCart

Resource-constrained model checking for recursive programs
by Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan — 2002 — In International Conference on Tools and Algorithms for the Construction and Analysis of Systems
… Resource-Constrained Model Checking of Recursive Programs ? Samik Basu1, K. Narayan Kumar1;2, L…
Cited by 7 (4 self) – Add To MetaCart

Program Model Checking as a New Trend
by Klaus Havelund, Willem Visser — 2000
… Verification, with an emphasis on model checking of programs. The paper outlines the motivation for stressing…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB