Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Joël Ouaknine, James Worrell 0001 |
Safety Metric Temporal Logic Is Fully Decidable. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter Niebert, Doron A. Peled |
Efficient Model Checking for LTL with Partial Order Snapshots. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Marsha Chechik |
Why Waste a Perfectly Good Abstraction?. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Koushik Sen, Mahesh Viswanathan 0001, Gul Agha |
Model-Checking Markov Chains in the Presence of Uncertainties. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Leue, Wei Wei 0015 |
A Region Graph Based Approach to Termination Proofs. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Garavel, Radu Mateescu 0001, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier |
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter Habermehl, Radu Iosif, Tomás Vojnar |
Automata-Based Verification of Programs with Tree Updates. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu |
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce, Rajeev Joshi |
Exploiting Traces in Program Analysis. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Malay K. Ganai, Muralidhar Talupur, Aarti Gupta |
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Chaki |
SAT-Based Software Certification. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Stefan Kiefer, Stefan Schwoon |
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Radu Siminiceanu, Gianfranco Ciardo |
New Metrics for Static Variable Ordering in Decision Diagrams. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Sokolsky, Sampath Kannan, Insup Lee 0001 |
Simulation-Based Graph Similarity. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey M. Brown, Lee Pike |
Easy Parameterized Verification of Biphase Mark and 8N1 Protocols. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica, Andrzej S. Murawski |
Compositional Model Extraction for Higher-Order Concurrent Programs. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Barbara König 0001, Vitali Kozioura |
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ranjit Jhala, Kenneth L. McMillan |
A Practical and Complete Approach to Predicate Refinement. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
A Local Shape Analysis Based on Separation Logic. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
Verifying Concurrent Message-Passing C Programs with Recursive Calls. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ping Yang 0002, Samik Basu 0001, C. R. Ramakrishnan 0001 |
Parameterized Verification of pi-Calculus Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger |
Finitary Winning in omega-Regular Games. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 |
PRISM: A Tool for Automatic Verification of Probabilistic Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Atul Gupta, Pankaj Jalote |
An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
Block coverage, Predicate coverage, Software testing, Experiment, Statistical analysis, Test case generation, Mutation Operator, Branch coverage |
1 | Hélène Collavizza, Michel Rueher |
Exploration of the Capabilities of Constraint Programming for Software Verification. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine |
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns, Jens Palsberg (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bing Li, Fabio Somenzi |
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya |
Efficient Guided Symbolic Reachability Using Reachability Expressions. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Neil Kettle, Andy King, Tadeusz Strzemecki |
Widening ROBDDs with Prime Implicants. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
ROBDD, widening, approximation, abstract interpretation |
1 | Bhargav S. Gulavani, Sriram K. Rajamani |
Counterexample Driven Refinement for Abstract Interpretation. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps |
Weighted Pushdown Systems and Trust-Management Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Kroening, Natasha Sharygina |
Approximating Predicate Images for Bit-Vector Logic. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta |
Automatic Verification of Parameterized Data Structures. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
Parameterized correctness, Data structures |
1 | Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz |
MSCan - A Tool for Analyzing MSC Specifications. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schwoon, Javier Esparza |
A Note on On-the-Fly Verification Algorithms. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jie-Hong Roland Jiang |
On Some Transformation Invariants Under Retiming and Resynthesis. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | E. Allen Emerson, Thomas Wahl |
Dynamic Symmetry Reduction. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kousha Etessami, Mihalis Yannakakis |
Algorithmic Verification of Recursive Probabilistic State Machines. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Halbwachs, Lenore D. Zuck (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva |
Symbolic Test Selection Based on Approximate Analysis. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | HoonSang Jin, HyoJung Han, Fabio Somenzi |
Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Ranzato, Francesco Tapparo |
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza |
jMoped: A Java Bytecode Checker Based on Moped. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Amir Pnueli, Andreas Podelski, Andrey Rybalchenko |
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tao Xie 0001, Darko Marinov, Wolfram Schulte, David Notkin |
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Radu Grosu, Scott A. Smolka |
Monte Carlo Model Checking. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tonglaga Bao, Michael D. Jones |
Time-Efficient Model Checking with Magnetic Disk. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Anne Remke, Boudewijn R. Haverkort, Lucia Cloth |
Model Checking Infinite-State Markov Chains. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jesse D. Bingham, Alan J. Hu |
Empirically Efficient Verification for a Class of Infinite-State Systems. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar |
Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra 0001, John Field |
Dependent Types for Program Understanding. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Hammer, Alexander Knapp, Stephan Merz |
Truly On-the-Fly LTL Model Checking. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting |
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
symbolic animation, object-oriented, model-based, Java Modeling Language |
1 | Kenneth L. McMillan |
Applications of Craig Interpolants in Model Checking. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps |
Temporal Logic for Scenario-Based Specifications. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu 0001 |
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Aidan Harding, Mark Ryan 0001, Pierre-Yves Schobbens |
A New Algorithm for Strategy Synthesis in LTL Games. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Malay K. Ganai, Aarti Gupta, Pranav Ashar |
DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty |
Bounded Validity Checking of Interval Duration Logic. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav |
SATABS: SAT-Based Predicate Abstraction for ANSI-C. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine |
Simulation-Based Iteration of Tree Transducers. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Will Marrero |
Using BDDs to Decide CTL. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
validity, satisfiability, BDDs, CTL, tableau |
1 | Yoshinao Isobe, Markus Roggenbach |
A Generic Theorem Prover of CSP Refinement. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled |
Snapshot Verification. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Ralf Nagel 0001, Bernhard Steffen |
jETI: A Tool for Remote Tool Integration. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Feng Chen 0006, Grigore Rosu |
Java-MOP: A Monitoring Oriented Programming Environment for Java. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani |
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan 0001, Gul Agha |
Using Language Inference to Verify Omega-Regular Properties. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Moshe Y. Vardi |
Complementation Constructions for Nondeterministic Automata on Infinite Words. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shaz Qadeer, Jakob Rehof |
Context-Bounded Model Checking of Concurrent Software. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai |
Localization and Register Sharing for Predicate Abstraction. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Curtis W. Keller, Diptikalyan Saha, Samik Basu 0001, Scott A. Smolka |
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Westley Weimer, George C. Necula |
Mining Temporal Specifications for Error Detection. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino, Madan Musuvathi, Xinming Ou |
A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan |
On-the-Fly Reachability and Cycle Detection for Recursive State Machines. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Schuppan, Armin Biere |
Shortest Counterexamples for Symbolic Model Checking of LTL with Past. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Blaise Genest |
Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Jensen, Andreas Podelski (eds.) |
Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Boigelot, Axel Legay, Pierre Wolper |
Omega-Regular Model Checking. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä |
Tampere Verification Tool. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga |
Model Checking Discounted Temporal Properties. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Sharon Shoham, Orna Grumberg |
Monotonic Abstraction-Refinement for CTL. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote, Misa Keinänen |
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek |
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kairong Qian, Albert Nymeyer |
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani 0001 |
Resource-Optimal Scheduling Using Priced Timed Automata. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Schmidt 0004 |
Automated Generation of a Progress Measure for the Sweep-Line Method. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Delzanno, Pierre Ganty |
Automatic Verification of Time Sensitive Cryptographic Protocols. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Diethers, Michaela Huhn |
Vooduu: Verification of Object-Oriented Designs Using UPPAAL. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Mailund, Michael Westergaard |
Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
memory efficient state representation, the sweep-line method, Verification, state space reduction, state space methods |
1 | Kavita Ravi, Fabio Somenzi |
Minimal Assignments for Bounded Model Checking. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno |
SyncGen: An Aspect-Oriented Framework for Synchronization. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jaco Geldenhuys, Antti Valmari |
Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Carla Piazza, Enrico Pivato, Sabina Rossi |
CoPS - Checker of Persistent Security. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Linger, Tim Sheard |
Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Kousha Etessami, P. Madhusudan |
A Temporal Logic of Nested Calls and Returns. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl |
The Succinct Solver Suite. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce |
Error Explanation with Distance Metrics. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|