Tallenna
Computer-Aided Verification
nidottu, 2012
englanti
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.
- Alaotsikko
- A Special Issue of Formal Methods In System Design on Computer-Aided Verification
- Toimittaja
- Robert Kurshan
- Painos
- Softcover reprint of the original 1st ed. 1993
- ISBN
- 9781461365792
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 5.10.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 142
