Systems and software verification : model-checking techniques and tools /

Systems and software verification : model-checking techniques and tools /

Saved in:

Bibliographic Details
Other Authors:	BÃ©rard, BÃ©atrice
Format:	Book
Language:	English
Published:	Berlin, New York Springer c2001.
Subjects:	Verification and validation of software.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Software verification and validation for practitioners and managers /
by: Rakitin, Steven R.
Published: (2001)

Software verification and validation an engineering and scientific approach
by: Fisher, Marcus S.
Published: (2007)

Software verification and validation an engineering and scientific approach
by: Fisher, Marcus S.
Published: (2007)

Software verification and validation for practitioners and managers
by: Rakitin, Steven R.
Published: (2001)

Software verification and validation for practitioners and managers
by: Rakitin, Steven R.
Published: (2001)

Verification, validation and testing in software engineering /
Published: (2007)

Systems and software verification : model-checking techniques and tools /
by: Berard, B.
Published: (2001)

Verification, validation and testing in software engineering /
Published: (2007)

Software engineering reviews and audits
by: Summers, Boyd L.
Published: (2011)

Software engineering reviews and audits
by: Summers, Boyd L.
Published: (2011)

Guidance for the verification and validation of neural networks /
by: Pullum, Laura L.
Published: (2007)

Guidance for the verification and validation of neural networks /
by: Pullum, Laura L.
Published: (2007)

Software verification and analysis an integrated, hands-on approach
by: Laski, Janusz
Published: (2009)

Software verification and analysis an integrated, hands-on approach
by: Laski, Janusz
Published: (2009)

Guidance for the verification and validation of neural networks /
by: Pullum, Laura L.
Published: (2007)

Computer aided verification /
Published: (2000)

Principles of model checking /
by: Baier, Christel
Published: (2008)

Verification and validation in scientific computing /
by: Oberkampf, William L.
Published: (2010)

Reactive systems : modelling, specification and verification /
Published: (2007)

Software verification and analysis an integrated, hands-on approach /
by: Laski, Janusz
Published: (2009)

Principles of model checking
by: Baier, Christel
Published: (2008)

Principles of model checking
by: Baier, Christel
Published: (2008)

Verification and validation of logic control systems by model checking /
by: Saifulza Alwi
Published: (2013)

Verification and validation of logic control systems by model checking /
by: Saifulza Alwi
Published: (2013)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Co-verification of hardware and software for ARM SoC design
by: Andrews, Jason R.

Medical device software verification, validation and compliance
by: Vogel, David A.
Published: (2011)

Medical device software verification, validation and compliance
by: Vogel, David A.
Published: (2011)

Medical device software verification, validation and compliance
by: Vogel, David A.
Published: (2011)

Medical device software verification, validation and compliance
by: Vogel, David A.
Published: (2011)

Hardware and software : verification and testing /
Published: (2008)

Modeling and verification of real-time systems : formalisms and software tools /
Published: (2008)

Software and systems safety : specification and verification /
Published: (2011)

Computer aided verification (vol. # 4144) : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Published: (2006)

Computer aided verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
Published: (2005)

Verification plans : the five-day verification strategy for modern hardware verification languages /
by: James, Peet
Published: (2004)

Software testing, verification and reliability
Published: (2012)

Software testing, verification and reliability
Published: (2012)

Verification of object-oriented software : the key approach /
Published: (2007)