All listings for this product
Best-selling in Textbooks
Save on Textbooks
- AU $33.15Trending at AU $35.14
- AU $30.21Trending at AU $34.60
- AU $8.59Trending at AU $14.01
- AU $21.17Trending at AU $25.58
- AU $72.88Trending at AU $77.86
- AU $20.74Trending at AU $23.42
- AU $91.99Trending at AU $100.05
About this product
- DescriptionThis volume contains the proceedings of the second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990. Itfeatures theoreticalresults that lead to new or more powerful verificationmethods. Among these are advances in the use of binarydecision diagrams, dense time, reductions based upon partialorder representations and proof-checking in controllerverification. The motivation for holding a workshop oncomputer aided verification was to bring together work oneffective algorithms or methodologies for formalverification - as distinguished, say,from attributes oflogics or formal languages. The considerable interestgenerated by the first workshop, held in Greble, June 1989(see LNCS 407), prompted this second meeting. The generalfocus of this volume is on the problem of making formalverification feasible for various models of computation. Specific emphasis is on models associated with distributedprograms, protocols, and digital circuits. The general testof algorithm feasibility is to embed it into a verificationtool, and exercise that tool on realistic examples: theworkshop included sessionsfor the demonstration of newverification tools.
- PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Date of Publication02/10/1991
- Series TitleLecture Notes in Computer Science
- Series Part/Volume Number531
- Place of PublicationBerlin
- Country of PublicationGermany
- ImprintSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Content NoteXIV, 378 p.
- Weight1210 g
- Width155 mm
- Height235 mm
- Edited byE. M. Clarke,R. P. Kurshan
- Edition Statement1991 ed.
This item doesn't belong on this page.
Thanks, we'll look into this.