|
|
Conferences in DBLP
- Kenneth L. McMillan
Applications of Craig Interpolants in Model Checking. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:1-12 [Conf]
- Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar
Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:13-29 [Conf]
- Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
Simulation-Based Iteration of Tree Transducers. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:30-44 [Conf]
- Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
Using Language Inference to Verify Omega-Regular Properties. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:45-60 [Conf]
- Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan
On-the-Fly Reachability and Cycle Detection for Recursive State Machines. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:61-76 [Conf]
- Jesse D. Bingham, Alan J. Hu
Empirically Efficient Verification for a Class of Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:77-92 [Conf]
- Shaz Qadeer, Jakob Rehof
Context-Bounded Model Checking of Concurrent Software. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:93-107 [Conf]
- Yoshinao Isobe, Markus Roggenbach
A Generic Theorem Prover of CSP Refinement. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:108-123 [Conf]
- Amir Pnueli, Andreas Podelski, Andrey Rybalchenko
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:124-139 [Conf]
- Francesco Ranzato, Francesco Tapparo
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:140-156 [Conf]
- Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field
Dependent Types for Program Understanding. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:157-173 [Conf]
- Stefan Schwoon, Javier Esparza
A Note on On-the-Fly Verification Algorithms. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:174-190 [Conf]
- Moritz Hammer, Alexander Knapp, Stephan Merz
Truly On-the-Fly LTL Model Checking. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:191-205 [Conf]
- Orna Kupferman, Moshe Y. Vardi
Complementation Constructions for Nondeterministic Automata on Infinite Words. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:206-221 [Conf]
- Will Marrero
Using BDDs to Decide CTL. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:222-236 [Conf]
- Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
Model Checking Infinite-State Markov Chains. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:237-252 [Conf]
- Kousha Etessami, Mihalis Yannakakis
Algorithmic Verification of Recursive Probabilistic State Machines. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:253-270 [Conf]
- Radu Grosu, Scott A. Smolka
Monte Carlo Model Checking. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:271-286 [Conf]
- HoonSang Jin, HyoJung Han, Fabio Somenzi
Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:287-300 [Conf]
- Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty
Bounded Validity Checking of Interval Duration Logic. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:301-316 [Conf]
- Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:317-333 [Conf]
- K. Rustan M. Leino, Madan Musuvathi, Xinming Ou
A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:334-348 [Conf]
- Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva
Symbolic Test Selection Based on Approximate Analysis. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:349-364 [Conf]
- Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:365-381 [Conf]
- E. Allen Emerson, Thomas Wahl
Dynamic Symmetry Reduction. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:382-396 [Conf]
- Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai
Localization and Register Sharing for Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:397-412 [Conf]
- Jie-Hong Roland Jiang
On Some Transformation Invariants Under Retiming and Resynthesis. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:413-428 [Conf]
- Blaise Genest
Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:429-444 [Conf]
- Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps
Temporal Logic for Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:445-460 [Conf]
- Westley Weimer, George C. Necula
Mining Temporal Specifications for Error Detection. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:461-476 [Conf]
- Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
A New Algorithm for Strategy Synthesis in LTL Games. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:477-492 [Conf]
- Viktor Schuppan, Armin Biere
Shortest Counterexamples for Symbolic Model Checking of LTL with Past. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:493-509 [Conf]
- Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled
Snapshot Verification. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:510-525 [Conf]
- Tonglaga Bao, Michael Jones
Time-Efficient Model Checking with Magnetic Disk. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:526-540 [Conf]
- Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
jMoped: A Java Bytecode Checker Based on Moped. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:541-545 [Conf]
- Feng Chen, Grigore Rosu
Java-MOP: A Monitoring Oriented Programming Environment for Java. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:546-550 [Conf]
- Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:551-556 [Conf]
- Tiziana Margaria, Ralf Nagel, Bernhard Steffen
jETI: A Tool for Remote Tool Integration. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:557-562 [Conf]
- Curtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:563-569 [Conf]
- Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav
SATABS: SAT-Based Predicate Abstraction for ANSI-C. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:570-574 [Conf]
- Malay K. Ganai, Aarti Gupta, Pranav Ashar
DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:575-580 [Conf]
- Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:581-585 [Conf]
|
