Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Concise Guide to Software Verification. From Model Checking...

Main
Computers - Applications & Software
Concise Guide to Software Verification....

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Marieke Huisman, Anton Wijs

0 / 0

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

Catégories:

Computers - Applications & Software

Année:

2023

Editeur::

Springer

Langue:

english

Pages:

251

ISBN 10:

3031301668

ISBN 13:

9783031301667

Collection:

Texts in Computer Science

Fichier:

PDF, 8.66 MB

IPFS:

,

english, 2023

Ce livre ne peut être téléchargé en raison d'une plainte du titulaire d'un droit

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Cela peut vous intéresser

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen — Principles of Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled — Model checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith — Model Checking

Michael Fisher — An Introduction to Practical Formal Methods Using Temporal Logic

Nicolas Navet, Stephan Merz — Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Wolfgang Schreiner — Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles — Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Nikolai Kosmatov & Virgile Prevosto & Julien Signoles — Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Borzoo Bonakdarpour, Scott A. Smolka (eds.) — Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.) — Deductive Software Verification – The KeY Book: From Theory to Practice

Isil Dillig,Jens Palsberg (eds.) — Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Wolfgang Roesner (auth.), Daniel Geist, Enrico Tronci (eds.) — Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.) — Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Daniel Jackson (auth.), José Nuno Oliveira, Pamela Zave (eds.) — FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

Gérard Boudol, Valérie Roy, Robert de Simone (auth.), Joseph Sifakis (eds.) — Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) — Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.) — Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Rajeev Alur, Limor Fix, Thomas A. Henzinger (auth.), David L. Dill (eds.) — Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

Randal E. Bryant (auth.), Pierre Wolper (eds.) — Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

F. Erich Marschner (auth.), Orna Grumberg (eds.) — Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Randal E. Bryant (auth.), Bernhard Steffen (eds.) — Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.) — Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.) — Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.) — Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Unknown — Theoretical Aspects Of Computing Ictac 2008 5 5160 2008 9783540857617 465s

Benjamin Weiß — Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

Mots Clefs