Opening book details…
Can I read Early Verification of Computer Systems Temporal Properties on EtoBox?
Early Verification of Computer Systems Temporal Properties by Paulo Sérgio Muniz Silva is a Computer Science article available to read on EtoBox.
What is Early Verification of Computer Systems Temporal Properties about?
In early moments of computer systems development, computer engineers typically draw interaction diagrams, occasionally annotated with timing constraints, to reason about the specification of the system behavior. One of the most popular of these diagrams is the Message Sequence Chart (MSC). However, not always does the intended behavior described by MSCs correspond to their actual behavior. To help the formal verification of their actual behavior, i.e. their temporal properties, this paper describes an interpretation of basic timed MSCs in a temporal framework that formally represents, in a unified model, both the qualitative and the metric temporal information conveyed in these intuitive diagrams. The framework solves the verification problems in polynomial time and lays the foundation of an automatic tool.
Who reads Early Verification of Computer Systems Temporal Properties?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Paulo Sérgio Muniz Silva
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV; Amsterdam: Elsevier BV (ISSN 1571-0661)
- Published
- 2005
- Language
- EN
- Field
- Computer Science (Physical Sciences)