Temporal Verification of Reactive Systems

Name: Temporal Verification of Reactive Systems
Brand: Springer, Berlin
SKU: 9780387944593
Price: 36359 HUF
Availability: InStock

Szerző: Zohar Manna, Amir Pnueli

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

36 359 Ft

This book presents an extensive verification methodology for proving that reactive systems meet thei...

Információk a könyvről

Szerző

Zohar Manna, Amir Pnueli

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

1995

oldal

512

EAN

9780387944593

ISBN

0387944591

Enbook ID

01384055

Kiadó

Springer, Berlin

Súly

962

Méretek

178 x 254 x 30

Teljes leírás

This book presents an extensive verification methodology for proving that reactive systems meet their specifications, expressed as safety properties in the language of temporal logic. The methods include deductive approaches based on theorem proving and fully automatic approaches based on model checking. All researchers and students interested in the analysis and verification of reactive and concurrent systems will find this book to be a comprehensive guide on how formal techniques can be used to ensure the correctness of such systems. An educational version of the Stanford Temporal Prover (STeP), a tool which supports the verification of reactive systems, is available for use with this book.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Temporal Verification of Reactive Systems

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták