Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings

כריכה קדמית
Costas Courcoubetis
Springer Science & Business Media, 16 ביוני 1993 - 504 עמודים
This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. The conferences provide an opportunity for comparing various verfication methods and tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing methods to real verification problems. The volume contains abstracts of three invited lectures and full versions of 37 contributed papers selected from 84 submissions.The contributions are grouped into sections on hardware verification with BDDs, methods and tools, theorem proving, analysis of real-time systems, process algebras and calculi, partial orders, and exploiting symmetry.
 

מה אומרים אנשים - כתיבת ביקורת

לא מצאנו ביקורות במקומות הרגילים

תוכן

Logic Synthesis and Design Verification
1
Parametric Circuit Representation Using Inductive Boolean Functions
15
An Iterative Approach to Language Containment
29
Methods and Tools
59
Symbolic Equivalence Checking
85
Modular Vec
110
Automatic Generation of Network Invariants for the Verification of Iterative
123
A Graphical Interval Logic Toolset for Verifying Concurrent Systems
138
An Efficient Algorithm for Minimizing RealTime Transition Systems
210
Verification of Timing Properties of VHDL
225
Timed Modal Specification Theory and Tools
253
Theorem Proving 2
268
The Formal Verification of an Algorithm for Interactive Consistency Under
292
ComputerAssisted Simulation Proofs
305
A Verifier and Timing Analyser for Simple Imperative
320
Delay Analysis in Synchronous Programs
333

Combining Model Checking and Theorem Proving to Verify Parallel Processes
154
Computing Accumulated Delays in RealTime Systems
181
Reachability Analysis of Planar MultiLinear Systems
194
Verifying Quantitative RealTime Properties of Synchronous Programs
346
זכויות יוצרים

מהדורות אחרות - הצג הכל

מונחים וביטויים נפוצים

מידע ביבליוגרפי