Overview
- Editors:
- Hubert Garavel
INRIA Rhône-Alpes, Montbonnot Saint Martin, France
You can also search for this editor inPubMed Google Scholar
- John Hatcliff
Department of Computing and Information Sciences, Kansas State University, Manhattan, USA
You can also search for this editor inPubMed Google Scholar
- Includes supplementary material:sn.pub/extras
Part of the book series:Lecture Notes in Computer Science (LNCS, volume 2619)
Included in the following conference series:
- TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Conference proceedings info: TACAS 2003.
57kAccesses
This is a preview of subscription content,log in via an institution to check access.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Keywords
Table of contents (44 papers)
Front Matter
Pages I-XVIInvited Contributions
Bounded Model Checking and SAT-Based Methods
Experimental Analysis of Different Techniques for Bounded Model Checking
- Nina Amla, Robert Kurshan, Kenneth L. McMillan, Ricardo Medel
Pages 34-48
Mu-Calculus and Temporal Logics
On the Universal and Existential Fragments of the μ-Calculus
- Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
Pages 49-64Resets vs. Aborts in Linear Temporal Logic
- Roy Armoni, Doron Bustan, Orna Kupferman, MosheY. Vardi
Pages 65-80
Verification of Parameterized Systems
Decidability of Invariant Validation for Paramaterized Systems
- Pascal Fontaine, E. Pascal Gribomont
Pages 97-112Verification and Improvement of the Sliding Window Protocol
- Dmitri Chkliaev, Jozef Hooman, Erik de Vink
Pages 113-127Simple Representative Instantiations for Multicast Protocols
- Javier Esparza, Monika Maidl
Pages 128-143Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols
- E. Allen Emerson, Vineet Kahlon
Pages 144-159
Abstractions and Counter-Examples
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation
- Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi
Pages 176-191Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement
- Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Olaf Stursberg, Michael Theobald
Pages 192-207Counter-Example Guided Predicate Abstraction of Hybrid Systems
- Rajeev Alur, Thao Dang, Franjo Ivančić1
Pages 208-223
Real-Time and Scheduling
Schedulability Analysis Using Two Clocks
- Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
Pages 224-239Static Guard Analysis in Timed Automata Verification
- Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim G. Larsen
Pages 254-270Moby/DC – A Tool for Model-Checking Parametric Real-Time Specifications
- Henning Dierks, Josef Tapken
Pages 271-277
Other volumes
Tools and Algorithms for the Construction and Analysis of Systems
Editors and Affiliations
INRIA Rhône-Alpes, Montbonnot Saint Martin, France
Hubert Garavel
Department of Computing and Information Sciences, Kansas State University, Manhattan, USA
John Hatcliff
Bibliographic Information
Book Title:Tools and Algorithms for the Construction and Analysis of Systems
Book Subtitle:9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Editors:Hubert Garavel, John Hatcliff
Series Title:Lecture Notes in Computer Science
DOI:https://doi.org/10.1007/3-540-36577-X
Publisher:Springer Berlin, Heidelberg
eBook Packages:Springer Book Archive
Copyright Information:Springer-Verlag Berlin Heidelberg 2003
Softcover ISBN:978-3-540-00898-9Published: 14 March 2003
eBook ISBN:978-3-540-36577-8Published: 01 July 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number:1
Number of Pages:XVI, 604
Topics:Theory of Computation,Software Engineering/Programming and Operating Systems,Logics and Meanings of Programs,Computer Communication Networks,Software Engineering,Algorithm Analysis and Problem Complexity