Search results for "CAV"

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

Publications at "CAV"( http://dblp.L3S.de/Venues/CAV )