|
|
Conferences in DBLP
- Kenneth L. McMillan
Interpolation and SAT-Based Model Checking. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:1-13 [Conf]
- Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:14-26 [Conf]
- Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
Reasoning with Temporal Logic on Truncated Paths. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:27-39 [Conf]
- Gianfranco Ciardo, Radu Siminiceanu
Structural Symbolic CTL Model Checking of Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:40-53 [Conf]
- Orna Grumberg, Tamir Heyman, Assaf Schuster
A Work-Efficient Distributed Algorithm for Reachability Analysis. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:54-66 [Conf]
- Rajeev Alur, Salvatore La Torre, P. Madhusudan
Modular Strategies for Infinite Games on Recursive Graphs. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:67-79 [Conf]
- Jan Obdrzálek
Fast Mu-Calculus Model Checking when Tree-Width Is Bounded. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:80-92 [Conf]
- Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
Dense Counter Machines and Verification Problems. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:93-105 [Conf]
- Bikram Sengupta, Rance Cleaveland
TRIM: A Tool for Triggered Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:106-109 [Conf]
- Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge
Model Checking Multi-Agent Programs with CASP. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:110-113 [Conf]
- Doron Drusinsky
Monitoring Temporal Rules Combined with Time Series. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:114-117 [Conf]
- Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci
FAST: Fast Acceleration of Symbolikc Transition Systems. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:118-121 [Conf]
- Dirk Beyer, Claus Lewerentz, Andreas Noack
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:122-125 [Conf]
- Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:126-140 [Conf]
- Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook
A Symbolic Approach to Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:141-153 [Conf]
- Sanjit A. Seshia, Randal E. Bryant
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:154-166 [Conf]
- Gaurav Chakravorty, Paritosh K. Pandya
Digitizing Interval Duration Logic. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:167-179 [Conf]
- Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit
Timed Control with Partial Observability. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:180-192 [Conf]
- Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne
Hybrid Acceleration Using Real Vector Automata (Extended Abstract). [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:193-205 [Conf]
- Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar
Abstraction and BDDs Complement SAT-Based BMC in DiVer. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:206-209 [Conf]
- Marsha Chechik, Arie Gurfinkel
TLQSolver: A Temporal Logic Query Checker. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:210-214 [Conf]
- Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
Evidence Explorer: A Tool for Exploring Model-Checking Proofs. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:215-218 [Conf]
- Liana Bozga, Yassine Lakhnech, Michaël Périn
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:219-222 [Conf]
- Bernard Boigelot, Axel Legay, Pierre Wolper
Iterating Transducers in the Large (Extended Abstract). [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:223-235 [Conf]
- Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso
Algorithmic Improvements in Regular Model Checking. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:236-248 [Conf]
- Constantinos Bartzis, Tevfik Bultan
Efficient Image Computation in Infinite State Model Checking. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:249-261 [Conf]
- Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
Thread-Modular Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:262-274 [Conf]
- Sharon Shoham, Orna Grumberg
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:275-287 [Conf]
- Kedar S. Namjoshi
Abstraction for Branching Time Properties. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:288-300 [Conf]
- Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean
Certifying Optimality of State Estimation Programs. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:301-314 [Conf]
- Hardi Hungar, Oliver Niese, Bernhard Steffen
Domain-Specific Optimization in Automata Learning. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:315-327 [Conf]
- Marcelo Glusman, Shmuel Katz
Model Checking Conformance with Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:328-340 [Conf]
- Shuvendu K. Lahiri, Randal E. Bryant
Deductive Verification of Advanced Out-of-Order Microprocessors. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:341-353 [Conf]
- Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe
Theorem Proving Using Lazy Proof Explication. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:355-367 [Conf]
- Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
Enhanced Vacuity Detection in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:368-380 [Conf]
- Yonit Kesten, Nir Piterman, Amir Pnueli
Bridging the Gap between Fair Simulation and Trace Inclusion. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:381-393 [Conf]
- Marc Geilen
An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:394-406 [Conf]
- Husam Abu-Haimed, Sergey Berezin, David L. Dill
Strengthening Invariants by Symbolic Consistency Testing. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:407-419 [Conf]
- Michael Colón, Sriram Sankaranarayanan, Henny Sipma
Linear Invariant Generation Using Non-linear Constraint Solving. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:420-432 [Conf]
- Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek
To Store or Not to Store. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:433-445 [Conf]
- Gordon J. Pace, Frédéric Lang, Radu Mateescu
Calculating-Confluence Compositionally. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:446-459 [Conf]
|
