Search results for "CAV"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Kenneth Roe	The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover.	CAV	2006	DBLP DOI BibTeX RDF
1	Tal Lev-Ami, Neil Immerman, Shmuel Sagiv	Abstraction for Shape Analysis with Fast and Precise Transformers.	CAV	2006	DBLP DOI BibTeX RDF
1	Flavio M. de Paula, Alan J. Hu	EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation.	CAV	2006	DBLP DOI BibTeX RDF
1	Jan-Willem Roorda, Koen Claessen	SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation.	CAV	2006	DBLP DOI BibTeX RDF
1	Rachel Tzoref, Orna Grumberg	Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation.	CAV	2006	DBLP DOI BibTeX RDF
1	Roman Gershman, Maya Koifman, Ofer Strichman	Deriving Small Unsatisfiable Cores with Dominators.	CAV	2006	DBLP DOI BibTeX RDF
1	Doron Bustan, John Havlicek	Some Complexity Results for SystemVerilog Assertions.	CAV	2006	DBLP DOI BibTeX RDF
1	Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar	Programs with Lists Are Counter Automata.	CAV	2006	DBLP DOI BibTeX RDF
1	David Harel	Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs.	CAV	2006	DBLP DOI BibTeX RDF
1	Pavel Krcál, Wang Yi 0001	Communicating Timed Automata: The More Synchronous, the More Difficult to Verify.	CAV	2006	DBLP DOI BibTeX RDF
1	Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala	Bounded Model Checking for Weak Alternating Büchi Automata.	CAV	2006	DBLP DOI BibTeX RDF	Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV
1	David L. Dill	I Think I Voted: E-Voting vs. Democracy.	CAV	2006	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Symmetry Reduction for Probabilistic Model Checking.	CAV	2006	DBLP DOI BibTeX RDF
1	Sudeep Juvekar, Nir Piterman	Minimizing Generalized Büchi Automata.	CAV	2006	DBLP DOI BibTeX RDF
1	Denis Gopan, Thomas W. Reps	Lookahead Widening.	CAV	2006	DBLP DOI BibTeX RDF
1	Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz	Lazy Shape Analysis.	CAV	2006	DBLP DOI BibTeX RDF
1	Abhay Vardhan, Mahesh Viswanathan 0001	LEVER: A Tool for Learning Based Verification.	CAV	2006	DBLP DOI BibTeX RDF
1	Josh Berdine, Byron Cook, Dino Distefano, Peter W. O'Hearn	Automatic Termination Proofs for Programs with Shape-Shifting Heaps.	CAV	2006	DBLP DOI BibTeX RDF
1	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	Safraless Compositional Synthesis.	CAV	2006	DBLP DOI BibTeX RDF
1	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang 0001	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.	CAV	2006	DBLP DOI BibTeX RDF
1	Tony Hoare	The Ideal of Verified Software.	CAV	2006	DBLP DOI BibTeX RDF
1	Akash Lal, Thomas W. Reps	Improving Pushdown System Model Checking.	CAV	2006	DBLP DOI BibTeX RDF
1	Arie Gurfinkel, Ou Wei, Marsha Chechik	Yasm: A Software Model-Checker for Verification and Refutation.	CAV	2006	DBLP DOI BibTeX RDF
1	Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke	Check It Out: On the Efficient Formal Verification of Live Sequence Charts.	CAV	2006	DBLP DOI BibTeX RDF
1	Thomas Ball, Robert B. Jones (eds.)	Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings	CAV	2006	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan 0001	Model Checking Multithreaded Programs with Asynchronous Atomic Methods.	CAV	2006	DBLP DOI BibTeX RDF
1	Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir	Formal Verification of a Lazy Concurrent List-Based Set Algorithm.	CAV	2006	DBLP DOI BibTeX RDF
1	B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy	Ticc: A Tool for Interface Compatibility and Composition.	CAV	2006	DBLP DOI BibTeX RDF
1	Nikhil Sethi, Clark W. Barrett	cascade: C Assertion Checker and Deductive Engine.	CAV	2006	DBLP DOI BibTeX RDF
1	Martin De Wulf, Laurent Doyen 0001, Thomas A. Henzinger, Jean-François Raskin	Antichains: A New Algorithm for Checking Universality of Finite Automata.	CAV	2006	DBLP DOI BibTeX RDF
1	Andreas Griesmayer, Roderick Bloem, Byron Cook	Repair of Boolean Programs with an Application to C.	CAV	2006	DBLP DOI BibTeX RDF
1	Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras	SMT Techniques for Fast Predicate Abstraction.	CAV	2006	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Petr Rockai, Pavel Simecek	DiVinE - A Tool for Distributed Verification.	CAV	2006	DBLP DOI BibTeX RDF
1	Kenneth L. McMillan	Lazy Abstraction with Interpolants.	CAV	2006	DBLP DOI BibTeX RDF
1	Jochen Eisinger, Felix Klaedtke	Don't Care Words with an Application to the Automata-Based Approach for Real Addition.	CAV	2006	DBLP DOI BibTeX RDF
1	Bernard Boigelot, Frédéric Herbreteau	The Power of Hybrid Acceleration.	CAV	2006	DBLP DOI BibTeX RDF
1	Clark W. Barrett, Yi Fang 0001, Benjamin Goldberg, Ying Hu 0003, Amir Pnueli, Lenore D. Zuck	TVOC: A Translation Validator for Optimizing Compilers.	CAV	2005	DBLP DOI BibTeX RDF
1	Julien Olivain, Jean Goubault-Larrecq	The Orchids Intrusion Detection Tool.	CAV	2005	DBLP DOI BibTeX RDF
1	Rajeev Alur, P. Madhusudan, Wonhong Nam	Symbolic Compositional Verification by Learning Assumptions.	CAV	2005	DBLP DOI BibTeX RDF
1	Ishai Rabinovitz, Orna Grumberg	Bounded Model Checking of Concurrent Programs.	CAV	2005	DBLP DOI BibTeX RDF
1	Håkan L. S. Younes	Probabilistic Verification for "Black-Box" Systems.	CAV	2005	DBLP DOI BibTeX RDF
1	David Monniaux	Compositional Analysis of Floating-Point Linear Numerical Filters.	CAV	2005	DBLP DOI BibTeX RDF
1	Kousha Etessami, Sriram K. Rajamani (eds.)	Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings	CAV	2005	DBLP DOI BibTeX RDF
1	Aaron R. Bradley, Zohar Manna, Henny B. Sipma	Linear Ranking with Reachability.	CAV	2005	DBLP DOI BibTeX RDF
1	Michael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas	Verification of Tree Updates for Optimization.	CAV	2005	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Concrete Model Checking with Abstract Matching and Refinement.	CAV	2005	DBLP DOI BibTeX RDF
1	Amitabha Roy 0002, K. Gopinath	Improved Probabilistic Models for 802.11 Protocol Verification.	CAV	2005	DBLP DOI BibTeX RDF
1	Marcelo d'Amorim, Grigore Rosu	Efficient Monitoring of omega-Languages.	CAV	2005	DBLP DOI BibTeX RDF
1	Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip	Symmetry Reduction in SAT-Based Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
1	Byron Cook, Daniel Kroening, Natasha Sharygina	Cogent: Accurate Theorem Proving for Program Verification.	CAV	2005	DBLP DOI BibTeX RDF
1	Roope Kaivola	Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants.	CAV	2005	DBLP DOI BibTeX RDF
1	Ittai Balaban, Yi Fang 0001, Amir Pnueli, Lenore D. Zuck	IIV: An Invisible Invariant Verifier.	CAV	2005	DBLP DOI BibTeX RDF
1	Franjo Ivancic, Zijiang Yang 0006, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar	F-Soft: Software Verification Platform.	CAV	2005	DBLP DOI BibTeX RDF
1	George C. Necula, Sumit Gulwani	Randomized Algorithms for Program Analysis and Verification.	CAV	2005	DBLP DOI BibTeX RDF
1	Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler 0001, Bud Mishra	Algorithmic Algebraic Model Checking I: Challenges from Systems Biology.	CAV	2005	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby	Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework.	CAV	2005	DBLP DOI BibTeX RDF
1	Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò 0001, Laurent Vigneron	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.	CAV	2005	DBLP DOI BibTeX RDF
1	Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum	Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.	CAV	2005	DBLP DOI BibTeX RDF
1	Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck	Formal Verification of Backward Compatibility of Microcode.	CAV	2005	DBLP DOI BibTeX RDF
1	Håkan L. S. Younes	Ymer: A Statistical Model Checker.	CAV	2005	DBLP DOI BibTeX RDF
1	Bob Bentley	Validating a Modern Microprocessor.	CAV	2005	DBLP DOI BibTeX RDF
1	Vineet Kahlon, Franjo Ivancic, Aarti Gupta	Reasoning About Threads Communicating via Locks.	CAV	2005	DBLP DOI BibTeX RDF
1	Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau	The ComFoRT Reasoning Framework.	CAV	2005	DBLP DOI BibTeX RDF
1	Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump	SMT-COMP: Satisfiability Modulo Theories Competition.	CAV	2005	DBLP DOI BibTeX RDF
1	Alexey Loginov, Thomas W. Reps, Shmuel Sagiv	Abstraction Refinement via Inductive Learning.	CAV	2005	DBLP DOI BibTeX RDF
1	Robert Nieuwenhuis, Albert Oliveras	DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic.	CAV	2005	DBLP DOI BibTeX RDF
1	Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin	Expand, Enlarge and Check... Made Efficient.	CAV	2005	DBLP DOI BibTeX RDF
1	Keijo Heljanko, Tommi A. Junttila, Timo Latvala	Incremental and Complete Bounded Model Checking for Full PLTL.	CAV	2005	DBLP DOI BibTeX RDF	PLTL, Complete, Bounded Model Checking, Incremental, NuSMV
1	Thomas Ball, Orna Kupferman, Greta Yorsh	Abstraction for Falsification.	CAV	2005	DBLP DOI BibTeX RDF
1	Shuvendu K. Lahiri, Thomas Ball, Byron Cook	Predicate Abstraction via Symbolic Decision Procedures.	CAV	2005	DBLP DOI BibTeX RDF
1	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee 0001, George C. Necula	JVer: A Java Verifier.	CAV	2005	DBLP DOI BibTeX RDF
1	Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards	Incremental Algorithms for Inter-procedural Analysis of Safety Properties.	CAV	2005	DBLP DOI BibTeX RDF
1	Enric Pastor, Marco A. Peña, Marc Solé	TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems.	CAV	2005	DBLP DOI BibTeX RDF
1	Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem	Program Repair as a Game.	CAV	2005	DBLP DOI BibTeX RDF
1	Anubhav Gupta 0001, Ofer Strichman	Abstraction Refinement for Bounded Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
1	Yichen Xie 0001, Alexander Aiken	Saturn: A SAT-Based Tool for Bug Detection.	CAV	2005	DBLP DOI BibTeX RDF
1	Tuba Yavuz-Kahveci, Constantinos Bartzis, Tevfik Bultan	Action Language Verifier, Extended.	CAV	2005	DBLP DOI BibTeX RDF
1	Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux	Romeo: A Tool for Analyzing Time Petri Nets.	CAV	2005	DBLP DOI BibTeX RDF	scheduling, model-checking, Time Petri nets, state-space, polyhedron, stopwatch, DBM
1	Scott McPeak, George C. Necula	Data Structure Specifications via Local Equality Axioms.	CAV	2005	DBLP DOI BibTeX RDF
1	Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot	A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.	CAV	2005	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	On Statistical Model Checking of Stochastic Systems.	CAV	2005	DBLP DOI BibTeX RDF
1	Orly Meir, Ofer Strichman	Yet Another Decision Procedure for Equality Logic.	CAV	2005	DBLP DOI BibTeX RDF
1	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi	Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
1	Akash Lal, Thomas W. Reps, Gogul Balakrishnan	Extended Weighted Pushdown Systems.	CAV	2005	DBLP DOI BibTeX RDF
1	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani	Efficient Satisfiability Modulo Theories via Delayed Theory Combination.	CAV	2005	DBLP DOI BibTeX RDF
1	Sharon Barner, Ziv Glazberg, Ishai Rabinovitz	Wolf - Bug Hunter for Concurrent Software Using Formal Methods.	CAV	2005	DBLP DOI BibTeX RDF
1	Ranjit Jhala, Kenneth L. McMillan	Interpolant-Based Transition Relation Approximation.	CAV	2005	DBLP DOI BibTeX RDF
1	Eric Vecchié, Robert de Simone	Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs.	CAV	2005	DBLP DOI BibTeX RDF
1	Sagar Chaki, Edmund M. Clarke, Nishant Sinha 0001, Prasanna Thati	Automated Assume-Guarantee Reasoning for Simulation Conformance.	CAV	2005	DBLP DOI BibTeX RDF
1	Paula J. Pingree, Erich Mikk	The HiVy Tool Set.	CAV	2004	DBLP DOI BibTeX RDF	model checking, translation, Spin, state-charts, Stateflow
1	Rajeev Alur, Doron A. Peled (eds.)	Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings	CAV	2004	DBLP DOI BibTeX RDF
1	Azadeh Farzan, Feng Chen 0006, José Meseguer 0001, Grigore Rosu	Formal Analysis of Java Programs in JavaFAN.	CAV	2004	DBLP DOI BibTeX RDF
1	Tamarah Arons	Verification of an Advanced mips-Type Out-of-Order Execution Algorithm.	CAV	2004	DBLP DOI BibTeX RDF
1	Clark W. Barrett, Sergey Berezin	CVC Lite: A New Implementation of the Cooperating Validity Checker Category B.	CAV	2004	DBLP DOI BibTeX RDF
1	Warren A. Hunt Jr.	Mechanical Mathematical Methods for Microprocessor Verification.	CAV	2004	DBLP DOI BibTeX RDF
1	Martin Lange	Symbolic Model Checking of Non-regular Properties.	CAV	2004	DBLP DOI BibTeX RDF
1	Alex Groce, Daniel Kroening, Flavio Lerda	Understanding Counterexamples with explain.	CAV	2004	DBLP DOI BibTeX RDF
1	Jacob Chang, Sergey Berezin, David L. Dill	Using Interface Refinement to Integrate Formal Verification into the Design Cycle.	CAV	2004	DBLP DOI BibTeX RDF
1	Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller	JNuke: Efficient Dynamic Analysis for Java.	CAV	2004	DBLP DOI BibTeX RDF
1	Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	Static Program Analysis via 3-Valued Logic.	CAV	2004	DBLP DOI BibTeX RDF

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