Ball, T., Rajamani, S.: Automatically validating temporal safety properties of interfaces. In: SPIN. (2001) Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Refining Approximations in Software Predicate Abstraction - Ball, Cook, Das, Rajamani (2004) (2 citations) Self-citation (Ball Rajamani) (Correct)
No context found.
Ball, T., Rajamani, S.K.: Automatically validating temporal safety properties of interfaces. In: SPIN 00: SPIN Workshop. LNCS 1885. Springer-Verlag (2000) 113--130
A Counterexample Guided Abstraction - Refinement Framework For (2005) Self-citation (Rajamani) (Correct)
No context found.
Thomas Ball and Sriram K. Rajamani. Automatically validating temporal safety properties of interfaces. In Matthew B. Dwyer, editor, Proceedings of the May 2001.
Verifying Concurrent Message-Passing - Programs With Recursive (Correct)
No context found.
Ball, T., Rajamani, S.: Automatically validating temporal safety properties of interfaces. In: SPIN. (2001)
Verifying Concurrent Message-Passing - Programs With Recursive (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. Lecture Notes in Computer Science, 2057, 2001.
Abstraction Refinement via Inductive Learning - Alexey Loginov Thomas (Correct)
No context found.
T. Ball and S. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN, pages 103--122, 2001.
Execution Generated Test Cases: How to Make Systems Code Crash .. - Cadar, Engler (2005) (Correct)
No context found.
T. Ball and S. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001.
TestEra: Specification-based Testing of Java Programs Using SAT - Sarfraz Khurshid And (2004) (1 citation) (Correct)
No context found.
Thomas Ball and Sriram K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proc. 8th International SPIN Workshop on Model Checking of Software, pages 103--122, 2001.
EXE: A System for Automatically Generating Inputs of.. - Cadar, Twohey.. (2006) (Correct)
No context found.
T. Ball and S. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001.
Unknown - (Correct)
No context found.
Thomas Ball and Sriram K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proc. 8th International SPIN Workshop on Model Checking of Software, pages 103--122, 2001.
Improving the Reliability of Commodity Operating - Systems Michael Swift (Correct)
No context found.
Ball, T. and Rajamani, S. K. 2001. Automatically validating temporal safety properties of interfaces. In SPIN 2001, Workshop on Model Checking of Software. LNCS, vol. 2057. 103-- 122.
Automated, Compositional and Iterative Deadlock Detection - Sagar Chaki Edmund (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proc. of SPIN, volume 2057.
Inferring Invariants in Separation Logic for Imperative - List-Processing Programs.. (Correct)
No context found.
Thomas Ball and Sriram K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN '01: 8th international SPIN workshop on Model checking of software, pages 103--122, New York, NY, USA, 2001. Springer-Verlag New York, Inc.
State/Event-based Software Model Checking - Sagar Chaki Edmund (2004) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proceedings of SPIN, volume 2057, pages 103{ 122. Springer LNCS, 2001.
Ecient Veri - Cation Of Sequential (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proceedings of SPIN, volume 2057, pages 103-122. Springer LNCS, 2001.
Predicate Abstraction of - Ansi--C Programs Using (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In The 8th International SPIN Workshop on Model Checking of Software, LNCS vol. 2057.
Typed Stateful Programming - Zhu (2004) (Correct)
No context found.
Thomas Ball and Sriram K. Rajamani. Automatically validating temporal safety properties of interfaces. Lecture Notes in Computer Science, 2057:103-122, 2001.
KAT-ML: An Interactive Theorem Prover for Kleene Algebra with .. - Aboul-Hosn, Kozen (Correct)
No context found.
Thomas Ball and Sriram K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proc. 8th Int. SPIN Workshop on Model Checking of Software (SPIN 2001.
KAT-ML: An Interactive Theorem Prover for Kleene Algebra with .. - Aboul-Hosn, Kozen (Correct)
No context found.
Ball, T., Rajamani, S.K.: Automatically validating temporal safety properties of interfaces. In: Proceedings of the 8th International SPIN Workshop on Model Checking of Software (SPIN 2001). Volume 2057 of Lecture Notes in Computer Science., SpringerVerlag (2001) 103--122
Using Datalog with Binary Decision Diagrams for Program.. - Whaley, Avots, Carbin, Lam (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN '01: Proceedings of the 8th International SPIN Workshop on Model Checking of Software, pages 103--122. Springer-Verlag New York, Inc., 2001.
MOPS: an Infrastructure for Examining Security Properties of.. - Chen, Wagner (2002) (39 citations) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001.
OS Verification --- Now! - Harvey Tuch Gerwin (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN'01, Workshop on Model Checking of Software, volume 2057.
Heuristic-Guided Counterexample Search in FLAVERS - Tan, Avrunin, Clarke.. (2004) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proceedings of the 8th International SPIN Workshop on Model Checking of Software, volume 2057.
Int J Softw Tools Technol Transfer (2004) 6: 257--259 /.. - Special Section On (Correct)
No context found.
Ball T, Rajamani SK (2001) Automatically validating temporal safety properties of interfaces. In: Proceedings of SPIN 2001. Lecture notes in computer science, vol 2057. Springer, Berlin Heidelberg New York
OS Verification - Now! - Tuch, Klein, Heiser (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN'01, Workshop on Model Checking of Software, volume 2057.
Partial-Order Reduction and Trail Improvement in.. - Edelkamp.. (2004) (2 citations) (Correct)
No context found.
Ball T, Rajamani SK (2001) Automatically validating temporal safety properties of interfaces. In: 7th international SPIN workshop on software model checking. Lecture notes in computer science, vol 2057. Springer, Berlin Heidelberg New York, pp 103--122
Finite Model Generation for Distributed Java Programs - Boulifa, Madelaine (2003) (Correct)
No context found.
S. K. R. Thomas Ball, "Automatically validating temporal safety properties of interfaces," in Workshop on Model Checking of Software (SPIN 2001.
Specification and Verification of a Distributed Software.. - Barros, Madelaine (2003) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proceedings of the SPIN Workshop), LNCS 2057. Springer-Verlag, 2001.
A BDD-based Model Checker for Recursive Programs - Esparza, Schwoon (19 citations) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. Technical report, 2001.
PSE: Explaining Program Failures via Postmortem.. - Manevich, Sridharan, .. (2004) (Correct)
No context found.
Thomas Ball and Sriram K. Rajamani. Automatically Validating Temporal Safety Properties of Interfaces. In Proceedings of SPIN '01, 8th Annual SPIN Workshop on Model Checking of Software, May 2001.
Correlation Exploitation in Error Ranking - Kremenek, Ashcraft, Yang, Engler (2004) (Correct)
No context found.
T. Ball and S. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001.
Efficient Specification-Assisted Error Localization - Brian Demsky Cristian (2004) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. Lecture Notes in Computer Science, 2057:103+, 2001.
Verifiable Concurrent Programming Using Concurrency Controllers - Betin-Can, Bultan (2004) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proc. of SPIN Workshop on Model Checking Software, 2001.
Assume-guarantee Verification of Source Code with.. - Giannakopoulou.. (2004) (1 citation) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proc. of the Eighth SPIN Workshop, pages 101--122, May 2001.
Typestate Verification: Abstraction Techniques and.. - Field Goyal Ramalingam (2003) (2 citations) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001: SPIN Workshop, LNCS 2057, pages 103--122, 2001.
Counterexample Guided Abstraction Refinement via Program.. - Kroening, Groce, Clarke (2004) (2 citations) (Correct)
No context found.
T. Ball and S. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN Workshop on Model Checking of Software, pages 103--122, 2001.
From Running Code to Event-Graphs: A pragmatic approach to .. - Rodrigues, Rodrigues (2004) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001.
Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003) (8 citations) (Correct)
No context found.
T. Ball and S.K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001.
Efficient Specification-Assisted Error Localization - Demsky, Cadar, Roy, Rinard (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. Lecture Notes in Computer Science, 2057:103+, 2001.
Static Analysis of Executables to Detect Malicious Patterns - Christodorescu, Jha (2003) (8 citations) (Correct)
No context found.
T. Ball and S.K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proceedings of the 8th International SPIN Workshop on Model Checking of Software (SPIN'01), volume 2057.
Verifying Safety Properties using Separation and - Heterogeneous Ions Eran (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001.
Test Input Generation with Java PathFinder - Visser, Pasareanu, Khurshid (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proc. 8th International SPIN Workshop on Model Checking of Software, pages 103--122, 2001.
Typestate Verification: Abstraction Techniques and.. - Field, Goyal.. (2004) (2 citations) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001.
ESP: Path-Sensitive Program Verification in Polynomial Time - Das, Lerner, Seigle (2002) (46 citations) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proceedings of SPIN '01, 8th Annual SPIN Workshop on Model Checking of Software, May 2001.
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
No context found.
Thomas Ball and Sriram K. Rajamani. Automatically Validating Temporal Safety Properties of Interfaces. In The 8th International SPIN Workshop on Model Checking of Software, number 2057.
Light-Weight Theorem Proving for Debugging and Verifying.. - Deharbe, Ranise (2003) (2 citations) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically Validating Temporal Safety Properties of Interfaces. In SPIN 2001.
The Fugue protocol checker: Is your software Baroque? - DeLine, Fähndrich (2004) (1 citation) (Correct)
No context found.
T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001.
A SAT characterization of boolean-program correctness - Leino (2003) (2 citations) (Correct)
No context found.
Thomas Ball and Sriram K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001, pages 103--122, 2001.
Modular Verification of Software Components in C - Chaki, Clarke, Groce, Jha.. (2004) (26 citations) (Correct)
No context found.
T. Ball and S. K. Rajamani, "Automatically validating temporal safety properties of interfaces," Lecture Notes in Computer Science, vol. 2057.
MJ - A System for Constructing Bug-Finding Analyses for Java - Back, Engler (2004) (Correct)
No context found.
T. Ball and S. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001 Workshop on
Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) (Correct)
No context found.
T. Ball and S.K. Rajamani. Automatically validating temporal safety properties of interfaces. In Model Checking Software : Proceedings of the 8th International SPIN Workshop, May 2001.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC