Cover Image

Systems and Software Verification : Model-Checking Techniques and Tools /

Show other versions (1)

Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique. The first part desc...

Full description

Bibliographic Details
Main Author:	Bérard, Béatrice
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bidoit, Michel, Finkel, Alain, Laroussinie, François, Petit, Antoine, Petrucci, Laure, Schnoebelen, Philippe, McKenzie, Pierre
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.
Subjects:	Computer science. Software engineering. Artificial intelligence. Information systems. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Requirements Engineering: Foundation for Software Quality : 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings /
Published: (2022)

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

Computer-Supported Collaboration : With Applications to Software Development /
by: Deek, Fadi P.
Published: (2003)

Software Quality Approaches: Testing, Verification, and Validation : Software Best Practice 1 /
by: Haug, Michael
Published: (2001)

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
Published: (2022)

Strength or Accuracy: Credit Assignment in Learning Classifier Systems /
by: Kovacs, Tim
Published: (2004)

New trends in software methodologies, tools and techniques : proceedings of the Eighth SoMeT_09 /
Published: (2009)

New trends in software methodologies, tools and techniques : proceedings of the seventh SoMeT_08 /
Published: (2008)

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV /
Published: (2022)

New trends in software methodologies, tools and techniques : proceedings of the fourth SoMeTW 05 /
Published: (2005)

New trends in software methodologies, tools and techniques /
Published: (2007)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II /
Published: (2023)

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /
Published: (2022)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III /
Published: (2023)

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I /
Published: (2023)

Incompleteness and Uncertainty in Information Systems : Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993 /
by: Alagar, Vangalur S., 1940-
Published: (1994)

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

Applications and Innovations in Intelligent Systems VIII : Proceedings of ES2000, the Twentieth SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 2000 /
by: Macintosh, Ann
Published: (2001)

Applications and Innovations in Intelligent Systems IX : Proceedings of ES2001, the Twenty-first SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 2001 /
by: Macintosh, Ann
Published: (2002)

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published: (2019)

Service-Oriented Computing - ICSOC 2018 Workshops : ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12-15, 2018, Revised Selected Papers /
Published: (2019)

Software Quality : State of the Art in Management, Testing, and Tools /
by: Wieczorek, Martin
Published: (2001)

Meta Heuristic Techniques in Software Engineering and Its Applications : METASOFT 2022 /
Published: (2022)

Agent Technology : Foundations, Applications, and Markets /
by: Jennings, Nick
Published: (1998)

ARTIFICIAL INTELLIGENCE FOR CLOUD-NATIVE SOFTWARE ENGINEERING
Published: (2025)

Application of Big Data, Blockchain, and Internet of Things for Education Informatization : Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part III /
Published: (2023)

Database and Expert Systems Applications : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022, Proceedings, Part I /
Published: (2022)

Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /
Published: (2019)

AI Frameworks and Tools for Software Development /
Published: (2025)

Methods and procedures for the verification and validation of artificial neural networks /
Published: (2006)

Artificial intelligence and intelligent systems /
by: Padhy, N. P.
Published: (2005)

Intelligent systems : principles, paradigms, and pragmatics /
by: Schalkoff, Robert J.
Published: (2011)

Practical Software Reuse /
by: Ezran, Michel
Published: (2002)

Software Process Improvement: Metrics, Measurement, and Process Modelling : Software Best Practice 4 /
by: Haug, Michael
Published: (2001)

Application of agents and intelligent information technologies /
Published: (2007)

Artificial intelligence and software engineering : understanding the promise of the future /
by: Partridge, Derek, 1945-
Published: (1998)

Software Quality and Productivity : Theory, practice, education and training /
by: Lee, Matthew
Published: (1995)

User-Developer Cooperation in Software Development : Building Common Ground and Usable Systems /
by: O'Neill, Eamonn
Published: (2001)

Artificial intelligence methods for optimization of the software testing process : with practical examples and exercises /
by: Tahvili, Sahar
Published: (2022)

Software Engineering with Computational Intelligence /
by: Khoshgoftaar, Taghi M.
Published: (2003)