SPIN model checking and software verification : :: SCD d'Orléans

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?cation of asynchronous concurrent and distributed systems. The SPIN - del checker (http://netlib.bell-labs.com/netlib/spin/whatispin.html), d...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	International SPIN Workshop :Stanford, Calif.
Altri autori:	Havelund, Klaus, 1955-...., auteur en informatique (Direttore editoriale), Penix, John, 1970- (Direttore editoriale), Visser, Willem, 1968- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 1885
Soggetti:	Génie logiciel Informatique Logiciels > Vérification Langages de programmation Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• SPIN model checking and software verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000, proceedings, Klaus Havelund, John Penix, Willem Visser eds., 2000, New York, Springer, 1 vol. (X-342 p.), Lecture notes in computer science, 3-540-41030-9 • SPIN Model Checking and Software Verification, Texte imprimé, 9783662190258

Documenti analoghi

Model checking software : 10th International SPIN workshop, Portland, OR, USA, may 9-10, 2003 : proceedings

Model checking software : 9th International SPIN Workshop Grenoble, France, April 11 13, 2002 : proceedings

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings

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

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
di: Steffen, Bernhard, 1956-

Verification, model checking, and abstract interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21 22, 2002 : revised papers
Pubblicazione: (2003)

Model checking software : 8th International SPIN Workshop Toronto, Canada, May 19 20, 2001 : proceedings

Formal verification of trusted layers of software : application to the TPM Software Stack
di: Ziani, Yani, 1995-
Pubblicazione: (2025)

Theoretical and practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 : proceedings

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
di: Müller-Olm, Markus, 19..-

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Vérification de logiciels : techniques et outils du model-checking
di: Bérard, Béatrice, 19..-...., professeure en informatique, et al.
Pubblicazione: (1999)

Compiler specification and verification
di: Polak, Wolfgang, 1950-

Principles of model checking
di: Baier, Christel, 19..-, et al.
Pubblicazione: (2008)

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Computer aided verification : ; proceedings 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
di: Dershowitz, Nachum, 1951-

Program verification using Ada
di: McGettrick, Andrew D., 1944-
Pubblicazione: (1982)

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

Computer aided verification : 11th International Conference, CAV 99, Trento, Italy, July 6 10, 1999 : proceedings

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27 31, 2002 : proceedings

Computer aided verification : ; proceedings 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004

Petri nets for systems engineering : a guide to modeling, verification, and applications
di: Girault, Claude, 19..-...., informaticien, et al.
Pubblicazione: (2010)

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised Papers
di: Petrenko, Alexandre

Principles of program analysis
di: Nielson, Flemming, 1955-, et al.
Pubblicazione: (2004)

Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers

Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Modular specification and verification of object-oriented programs
di: Müller, Peter, 1961-...., informaticien

Aide à la vérification de programmes concurrents par transformation de code et de spécifications
di: Blanchard, Allan, 1990-
Pubblicazione: (2016)

Foundations of software science and computation structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Software process technology : 7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings

Software engineering and middleware : third international workshop, SEM 2002, Orlando, FL, USA, May 20-21, 2002 : revised papers

Effective Functional Verification : Principles and Processes
di: Vasudevan, Srivatsa
Pubblicazione: (2006)

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
di: Llamosí, Albert

Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings

Theoretical aspects of computer software : [second] international symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings

Theoretical aspects of computer software : [first] International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales