|
|
Conferences in DBLP
- Pierre Wolper, Bernard Boigelot
On the Construction of Automata from Linear Arithmetic Constraints. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:1-19 [Conf]
- Yuhong Xiong, Edward A. Lee
An Extensible Type System for Component-Based Design. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:20-37 [Conf]
- David Aspinall
Proof General: A Generic Tool for Proof Development. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:38-42 [Conf]
- Michael Goedicke, Bettina Enders, Torsten Meyer, Gabriele Taentzer
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:43-47 [Conf]
- Peter Braun 0003, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch
Consistent Integration of Formal Methods. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:48-62 [Conf]
- Jörg Meyer, Arnd Poetzsch-Heffter
An Architecture for Interactive Program Provers. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:63-77 [Conf]
- Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham
The PROSPER Toolkit. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:78-92 [Conf]
- Till Mossakowski
CASL: From Semantics to Tools. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:93-108 [Conf]
- Sébastien Bornot, Gregor Gößler, Joseph Sifakis
On the Construction of Live Timed Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:109-126 [Conf]
- Fredrik Larsson, Paul Pettersson, Wang Yi
On Memory-Block Traversal Problems in Model-Checking Timed-Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:127-141 [Conf]
- Thomas A. Henzinger, Rupak Majumdar
Symbolic Model Checking for Rectangular Hybrid Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:142-156 [Conf]
- Farn Wang
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:157-171 [Conf]
- Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
Verification of Parameterized Systems Using Logic Program Transformations. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:172-187 [Conf]
- Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl
Abstracting WS1S Systems to Verify Parameterized Networks. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:188-203 [Conf]
- Jean-Paul Bodeveix, Mamoun Filali
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:204-219 [Conf]
- Bengt Jonsson, Marcus Nilsson
Transitive Closures of Regular Relations for Verifying Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:220-234 [Conf]
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Using Static Analysis to Improve Automatic Test Generation. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:235-250 [Conf]
- Radu Mateescu
Efficient Diagnostic Generation for Boolean Equation Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:251-265 [Conf]
- Jean-Pierre Krimm, Laurent Mounier
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:266-282 [Conf]
- Juhana Helovuo, Antti Valmari
Checking for CFFD-Preorder with Tester Processes. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:283-298 [Conf]
- Thomas A. Henzinger, Sriram K. Rajamani
Fair Bisimulation. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:299-314 [Conf]
- Karsten Schmidt
Integrating Low Level Symmetries into Reachability Analysis. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:315-330 [Conf]
- Giuseppe Del Castillo, Kirsten Winter
Model Checking Support for the ASM High-Level Language. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:331-346 [Conf]
- Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
A Markov Chain Model Checker. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:347-362 [Conf]
- Dragan Bosnacki, Dennis Dams, Leszek Holenderski, Natalia Sidorova
Model Checking SDL with Spin. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:363-377 [Conf]
- Ramesh Bharadwaj, Steve Sims
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:378-394 [Conf]
- Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:395-410 [Conf]
- Parosh Aziz Abdulla, Per Bjesse, Niklas Eén
Symbolic Reachability Analysis Based on SAT-Solvers. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:411-425 [Conf]
- Giorgio Delzanno, Jean-François Raskin
Symbolic Representation of Upward-Closed Sets. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:426-440 [Conf]
- Tevfik Bultan
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:441-455 [Conf]
- Magnus Niemann, Roswitha Bardohl
Tool-Based Specification of Visual Languages and Graphic Editors. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:456-470 [Conf]
- Moataz Kamel, Stefan Leue
VIP: A Visual Editor and Compiler for v-Promela. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:471-486 [Conf]
- Tamarah Arons, Amir Pnueli
A Comparison of Two Verification Methods for Speculative Instruction Execution. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:487-502 [Conf]
- Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
Partial Order Reductions for Security Protocol Verification. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:503-518 [Conf]
- Massimo Benerecetti, Fausto Giunchiglia
Model Checking Security Protocols Using a Logic of Belief. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:519-534 [Conf]
- Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:535-549 [Conf]
|
