Verification of reactive systems : formal methods and algorithms /

Verification of reactive systems : formal methods and algorithms /

Saved in:

Bibliographic Details
Main Author:	Schneider, Klaus, 1967- (Author)
Format:	Book
Language:	English
Published:	Berlin Springer 2004
Subjects:	Computer systems > Verification. Formal methods (Computer science) Computer algorithms.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
Published: (2006)

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

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

Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)

Verification techniques for system-level design /
by: Fujita, Masahiro
Published: (2008)

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

Verification techniques for system-level design /
by: Fujita, Masahiro
Published: (2008)

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

Formal methods for industrial critical systems a survey of applications
Published: (2013)

Formal methods for industrial critical systems a survey of applications
Published: (2013)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems (vol. # 3990) Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings /
Published: (2006)

Computer aided verification /
Published: (2000)

Formal and practical aspects of autonomic computing and networking : specification, development, and verification /
Published: (2012)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Synchronous equivalence : formal methods for embedded systems /
by: Hsieh, Harry
Published: (2001)

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)

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

Formal methods and software engineering /
Published: (2005)

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

Reconfigurable system design and verification /
by: Hsiung, Pao-Ann
Published: (2009)

Systems and software verification : model-checking techniques and tools /
Published: (2001)

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

Dynamic logic /
by: Harel, David
Published: (2000)

Formal approaches to software testing and runtime verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
Published: (2006)

Software specification methods /
Published: (2006)

Leveraging applications of formal methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /
Published: (2006)

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

Synchronous equivalence formal methods for embedded systems
by: Hsieh, Harry
Published: (2001)

Synchronous equivalence formal methods for embedded systems
by: Hsieh, Harry
Published: (2001)

Synchronous equivalence : formal methods for embedded systems /
by: Hsieh, Harry
Published: (2001)

Hardware design verification : simulation and formal method-based approaches /
by: Lam, William K.
Published: (2005)

Formal models of agents : ESPRIT Project ModelAge final workshop selected papers /
Published: (1999)

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)

Design patterns formalization techniques /
Published: (2007)

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

Teamwork in multi-agent systems : a formal approach /
by: Dunin-Keplicz, Barbara
Published: (2010)

Teamwork in multi-agent systems : a formal approach /
by: Dunin-Keplicz, Barbara