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-
Format:	Book
Published:	Berlin New York Springer-Verlag 2004
Series:	Texts in theoretical computer science
Subjects:	Computer algorithms Formal methods (Computer science) Computer systems > Verification
Online Access:	Click Here to View Status and Holdings.
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)

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

An introduction to formal program verification
by: Mili, Ali
Published: (1985)

Program verification
by: Francez, Nissim
Published: (1992)

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

Program verification fundamental issues in computer science
Published: (1993)

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

Understanding formal methods
by: Monin, Jean Fran?cois 1960-
Published: (2003)

Verification and validation of rule-based expert systems
by: Smith, Suzanne 1953-
Published: (1993)

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

Software verification and validation realistic project approaches
by: Deutsch, Michael S
Published: (1982)

Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Published: (2007)

Independent verification and validation a life cycle engineering process for quality software
by: Lewis, Robert O. 1938-
Published: (1992)

Software verification and validation for practitioners and managers
by: Rakitin, Steven R

Verification, model checking, and abstract interpretation 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Published: (2003)

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

Model checking
by: Clarke, E. M. 1945-
Published: (1999)

Verification and validation in systems engineering assessing UML/SysML design models
Published: (2010)

Verification methodology manual for SystemVerilog
Published: (2006)

Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000
Published: (2001)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by: Yoeli, Michael 1917-
Published: (2008)

Petri nets for systems engineering a guide to modeling, verification, and applications
by: Girault, Claude, et al.
Published: (2003)

Hardware verification with SystemVerilog an object-oriented framework
by: Mintz, Mike
Published: (2007)

Scientific computation with automatic result verification
Published: (1988)

Scientific computation with automatic result verification
Published: (1988)

Compositional verification of concurrent and real-time systems
by: Juan, Eric Y. T.
Published: (2002)

Dynamic logic
by: Harel, David 1950-
Published: (2000)

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

Validated designs for object-oriented systems
Published: (2005)

Challenges for action theories
by: Thielscher, Michael
Published: (2000)

Formal models of agents ESPRIT project modelage final workshop selected papers
Published: (1999)

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

Rigorous software development an introduction to program verification
Published: (2011)

Principles of the Spin model checker
by: Ben-Ari, M.
Published: (2008)

Model checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers
Published: (2007)

Software specification method
Published: (2006)

Validating and verifying knowledge-based systems

Functional verification of programmable embedded architectures a top-down approach
by: Mishra, Prabhat 1973-
Published: (2005)

Principles of functional verification
by: Meyer, Andreas
Published: (2004)

Standardized functional verification
by: Wiemann, Alan
Published: (2008)