Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification (Paperback)Robert Kurshan (editor)
- We can order this
Graphical presentation is coming to be a de facto requirement for a `friendly' user interface. The second paper presents a generic format for graphical presentations of coordinating systems represented by automata.
The last two papers as a pair, present a variety of generic techniques for reducing the computational cost of computer-aided verification based upon explicit computational memory: the first of the two gives a time-space trade-off, while the second gives a technique which trades space for a (sometimes predictable) probability of error.
Computer-Aided Verification is an edited volume of original research. This research work has also been published as a special issue of the journal Formal Methods in System Design, 1:2-3.
Publisher: Springer-Verlag New York Inc.
Number of pages: 142
Weight: 242 g
Dimensions: 235 x 155 x 8 mm
Edition: Softcover reprint of the original 1st ed. 199