|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 107 occurrences of 73 keywords
|
|
|
Results
Found 1269 publication records. Showing 1269 according to the selection in the facets
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 |
|
Displaying result #501 - #600 of 1269 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|