Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mohammad Awedh, Fabio Somenzi |
Proving More Properties with Bounded Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Li Tan |
PlayGame: A Platform for Diagnostic Games. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura, Harald Rueß |
An Experimental Evaluation of Ground Decision Procedures. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi |
A Toolset for Modelling and Verification of GALS Systems. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli |
DPLL( T): Fast Decision Procedures. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang |
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
model-checking, verification, data-structures, BDD, hybrid automata |
1 | Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang |
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Sanjit A. Seshia |
The UCLID Decision Procedure. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar |
Abstract Regular Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof |
Stuck-Free Conformance. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Metzner |
Why Model Checking Can Improve WCET Analysis. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Claus Schröter, Victor Khomenko |
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alain Griffault, Aymeric Vincent |
The Mec 5 Model-Checker. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
AltaRica, model-checking, BDDs, calculus |
1 | John O'Leary, Marly Roncken |
Rob Tristan Gerth: 1956?2003. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xiang Fu 0001, Tevfik Bultan, Jianwen Su |
WSAT: A Tool for Formal Analysis of Web Services. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gammie, Ron van der Meyden |
MCK: Model Checking the Logic of Knowledge. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Randal E. Bryant |
Indexed Predicate Discovery for Unbounded System Verification. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sandip Ray, Warren A. Hunt Jr. |
Deductive Verification of Pipelined Machines Using First-Order Quantification. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Muralidhar Talupur, Nishant Sinha 0001, Ofer Strichman, Amir Pnueli |
Range Allocation for Separation Logic. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alain Finkel, Jérôme Leroux |
Image Computation in Infinite State Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nir Piterman, Moshe Y. Vardi |
Global Model-Checking of Infinite-State Systems. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jin Yang 0006, Carl-Johan H. Seger |
Compositional Specification and Model Checking in GSTE. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
Verification via Structure Simulation. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang |
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kedar S. Namjoshi |
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Julien d'Orso, Mayank Saksena |
Regular Model Checking for LTL(MSO). |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Koushik Sen, Mahesh Viswanathan 0001, Gul Agha |
Statistical Model Checking of Black-Box Probabilistic Systems. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari 0001 |
SAL 2. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | HoonSang Jin, Mohammad Awedh, Fabio Somenzi |
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hui Gao, Wim H. Hesselink |
A Formal Reduction for Lock-Free Parallel Algorithms. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj |
QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Constantinos Bartzis, Tevfik Bultan |
Widening Arithmetic Automata. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
Efficient Modeling of Embedded Memories in Bounded Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero |
ObsSlice: A Timed Automata Slicer Based on Observers. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001 |
Termination of Linear Programs. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jie-Hong Roland Jiang, Robert K. Brayton |
Functional Dependency for Verification Reduction. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman |
Abstraction-Based Satisfiability Solving of Presburger Arithmetic. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Doron Bustan, Sasha Rubin, Moshe Y. Vardi |
Verifying omega-Regular Properties of Markov Chains. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie 0001 |
Zing: A Model Checker for Concurrent Software. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi |
GSTE Is Partitioned Model Checking. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Amit Goel, Randal E. Bryant |
Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci |
FAST: Fast Acceleration of Symbolikc Transition Systems. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bikram Sengupta, Rance Cleaveland |
TRIM: A Tool for Triggered Message Sequence Charts. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Glusman, Shmuel Katz |
Model Checking Conformance with Scenario-Based Specifications. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Liana Bozga, Yassine Lakhnech, Michaël Périn |
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Boigelot, Axel Legay, Pierre Wolper |
Iterating Transducers in the Large (Extended Abstract). |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michael Colón, Sriram Sankaranarayanan 0001, Henny Sipma |
Linear Invariant Generation Using Non-linear Constraint Solving. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Claus Lewerentz, Andreas Noack |
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gordon J. Pace, Frédéric Lang, Radu Mateescu 0001 |
Calculating-Confluence Compositionally. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook |
A Symbolic Approach to Predicate Abstraction. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Constantinos Bartzis, Tevfik Bultan |
Efficient Image Computation in Infinite State Model Checking. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro |
Dense Counter Machines and Verification Problems. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik, Arie Gurfinkel |
TLQSolver: A Temporal Logic Query Checker. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Orna Grumberg, Tamir Heyman, Assaf Schuster |
A Work-Efficient Distributed Algorithm for Reachability Analysis. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Bengt Jonsson 0001, Marcus Nilsson, Julien d'Orso |
Algorithmic Improvements in Regular Model Checking. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe |
Theorem Proving Using Lazy Proof Explication. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Doron Drusinsky |
Monitoring Temporal Rules Combined with Time Series. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea |
Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Warren A. Hunt Jr., Fabio Somenzi (eds.) |
Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang |
Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek |
To Store or Not to Store. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
Timed automata model checking, Static analysis |
1 | Husam Abu-Haimed, Sergey Berezin, David L. Dill |
Strengthening Invariants by Symbolic Consistency Testing. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Ciardo, Radu Siminiceanu |
Structural Symbolic CTL Model Checking of Asynchronous Systems. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit 0001 |
Timed Control with Partial Observability. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yonit Kesten, Nir Piterman, Amir Pnueli |
Bridging the Gap between Fair Simulation and Trace Inclusion. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rafael H. Bordini, Michael Fisher 0001, Carmen Pardavila, Willem Visser, Michael J. Wooldridge |
Model Checking Multi-Agent Programs with CASP. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi |
Enhanced Vacuity Detection in Linear Temporal Logic. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout |
Reasoning with Temporal Logic on Truncated Paths. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yifei Dong, C. R. Ramakrishnan 0001, Scott A. Smolka |
Evidence Explorer: A Tool for Exploring Model-Checking Proofs. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan |
Interpolation and SAT-Based Model Checking. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Salvatore La Torre, P. Madhusudan |
Modular Strategies for Infinite Games on Recursive Graphs. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sanjit A. Seshia, Randal E. Bryant |
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kedar S. Namjoshi |
Abstraction for Branching Time Properties. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Randal E. Bryant |
Deductive Verification of Advanced Out-of-Order Microprocessors. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marc Geilen |
An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Aarti Gupta, Malay K. Ganai, Chao Wang 0001, Zijiang Yang 0006, Pranav Ashar |
Abstraction and BDDs Complement SAT-Based BMC in DiVer. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne |
Hybrid Acceleration Using Real Vector Automata (Extended Abstract). |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle 0001, Laurentiu Leustean |
Certifying Optimality of State Estimation Programs. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hardi Hungar, Oliver Niese, Bernhard Steffen |
Domain-Specific Optimization in Automata Learning. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gaurav Chakravorty, Paritosh K. Pandya |
Digitizing Interval Duration Logic. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer |
Thread-Modular Abstraction Refinement. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sharon Shoham, Orna Grumberg |
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jan Obdrzálek |
Fast Mu-Calculus Model Checking when Tree-Width Is Bounded. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia |
A Modular Checker for Multithreaded Programs. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine |
SPeeDI - A Verification Tool for Polygonal Hybrid Systems. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Anubhav Gupta 0001, James H. Kukula, Ofer Strichman |
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Tayssir Touili |
Extrapolating Tree Transformations. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers |
Automatic Derivation of Timing Constraints by Failure Analysis. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
Trace theoretic verification, Timing constraints, Failure analysis, Timed circuits |
1 | Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan |
Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tatiana Rybina, Andrei Voronkov |
Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Model Checking Linear Properties of Prefix-Recognizable Systems. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Stump, Clark W. Barrett, David L. Dill |
CVC: A Cooperating Validity Checker. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Godefroid, Radha Jagadeesan |
Automatic Abstraction Using Generalized Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christian Jacobi 0002 |
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Dams, William Hesse, Gerard J. Holzmann |
Abstracting C with abC. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham |
Property Checking via Structural Analysis. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang |
Synchronous and Bidirectional Component Interfaces. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Håkan L. S. Younes, Reid G. Simmons |
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Giorgio Delzanno |
Algorithmic Verification of Invalidation-Based Protocols. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|