9. CAV 1997: Haifa, Israel
Roger B. Hughes:
Formal Verification of Digital Systems, from ASICs to HW/SW Codesign - a Pragmatic Approach.
3-6
Arne Borälv:
The Industrial Success of Verification Tools Based on Stålmarck's Method.
7-10
Martin Rowe:
Formal Verification - Applications & Case Studies.
11
Roope Kaivola:
Using Compositional Preorders in the Verification of Sliding Window Protocal.
48-59
Nils Klarlund:
An n log n Algorithm for Online BDD Refinement.
107-118
Kathi Fisler:
Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable.
155-166
David Harel:
Some Thoughts on Statecharts, 13 Years Later.
226-231
Gérard Berry:
Boolean and 2-adic Numbers Based Techniques for Verifying Synchronous Design.
303
Gérard Cécé,
Alain Finkel:
Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract).
304-315
A. Prasad Sistla:
Parametrized Verification of Linear Networks Using Automata as Invariants.
412-423
Tool Papers
Hassen Saïdi:
The Invariant Checker: Automated Deductive Verification of Reactive Systems.
436-439
Armin Biere:
µcke - Efficient µ-Calculus Model Checking.
468-471
Patrice Godefroid:
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software.
476-479
Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
Daniel Geist,
Leonid Gluhovsky,
Tamir Heyman,
Avner Landver,
P. Paanah,
Yoav Rodeh,
G. Ronin,
Yaron Wolfsthal:
RuleBase: Model Checking at IBM.
480-483
data released under the ODC-BY 1.0 license
