Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification

Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification

Kurshan, Robert

Paperback

Technology & EngineeringGeneral Computers

ISBN10: 1461365791
ISBN13: 9781461365792
Publisher: Springer Nature
Published: Oct 5 2012
Pages: 142
Weight: 0.49
Height: 0.33 Width: 6.14 Depth: 9.21
Language: English
Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well.
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.

1 different editions

Also available

Also in

General Computers

View All