Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
Computer Aided Verification : 11th International Conference
CAV99TrentoItalyJuly 6-101999Proceedings
SR 600
Inclusive of VAT
SR36Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR600
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV99, held in Trento, Italy in July 1999 as part of FLoC99.
The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.
The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.
Report an issue with this product.
