Computer Aided Verification
6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
(Sprache: Englisch)
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they...
Leider schon ausverkauft
versandkostenfrei
Buch
74.89 €
Produktdetails
Produktinformationen zu „Computer Aided Verification “
Klappentext zu „Computer Aided Verification “
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.
Inhaltsverzeichnis zu „Computer Aided Verification “
A determinizable class of timed automata.- Real-time system verification using P/T nets.- Criteria for the simple path property in timed automata.- Hierarchical representations of discrete functions, with application to model checking.- Symbolic verification with periodic sets.- Automatic verification of pipelined microprocessor control.- Using abstractions for the verification of linear hybrid systems.- Decidability of hybrid systems with rectangular differential inclusions.- Suspension automata: A decidable class of hybrid automata.- Verification of context-free timed systems using linear hybrid observers.- On the random walk method for protocol testing.- An automata-theoretic approach to branching-time model checking (Extended abstract).- Realizability and synthesis of reactive modules.- Model checking of macro processes.- Methodology and system for practical formal verification of reactive hardware.- Modeling and verification of a real life protocol using symbolic model checking.- Verification of a distributed cache memory by using abstractions.- Beyond model checking.- Models whose checks don't explode.- On the automatic computation of network invariants.- Ground temporal logic: A logic for hardware verification.- A hybrid model for reasoning about composed hardware systems.- Composing symbolic trajectory evaluation results.- The completeness of a hardware inference system.- Efficient model checking by automated ordering of transition relation partitions.- The verification problem for safe replaceability.- Formula-dependent equivalence for compositional CTL model checking.- An improved algorithm for the evaluation of fixpoint expressions.- Incremental model checking in the modal mu-calculus.- Performance improvement of state space exploration by regular & differential hashing functions.- Combining partial order reductions with on-the-fly model-checking.- Improving language containment using fairness graphs.- A parallel algorithm for relational coarsest
... mehr
partition problems and its implementation.- Another look at LTL model checking.- The mobility workbench - A tool for the ?-Calculus.- Compositional semantics of Esterel and verification by compositional reductions.- Model checking using adaptive state and data abstraction.- Automatic verification of timed circuits.
... weniger
Bibliographische Angaben
- 1994, 496 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Herausgegeben: David L. Dill
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540581790
- ISBN-13: 9783540581796
- Erscheinungsdatum: 01.06.1994
Sprache:
Englisch
Kommentar zu "Computer Aided Verification"
0 Gebrauchte Artikel zu „Computer Aided Verification“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Computer Aided Verification".
Kommentar verfassen