Program verification using Ada :: SCD d'Orléans

Program verification using Ada

Program verification using Ada

Uloženo v:

Podrobná bibliografie
Hlavní autor:	McGettrick, Andrew D., 1944-
Médium:	Livre papier
Jazyk:	Anglais
Vydáno:	Cambridge ; New York : Cambridge University Press 1982.
Edice:	Cambridge computer science texts 13
Témata:	Ada (langage de programmation) Logiciels > Vérification
Autres localisations:	Voir dans le Sudoc

Podobné jednotky

Ada 95 Quality and Style

Ada 95 rationale : the language, tha standard libraries
Autor: Barnes, John Gilbert Presslie, 1937-

Ada : the choice for '92 : Ada-Europe International Conference, Athens, Greece, May 13 17, 1991 : proceedings

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1
Autor: Taft, S. Tucker, 1953-

A review of Ada tasking
Autor: Burns, Alan, 1953-, a další

Reliable software technologies Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies Uppsala, Sweden, June 8 12, 1998 : proceedings

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings

Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 30, 1994 : proceedings

Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 : proceedings

Ada - Europe '93 : 12th Ada-Europe International Conference, Ada Sans Frontières , Paris, France, June 14 18, 1993 : proceedings

Towards a formal description of Ada
Autor: Bjørner, Dines, 1937-

Langage ADA et algorithmique
Autor: Ogor, Robert, a další
Vydáno: (1990)

Reliable software technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2 6, 1997 : proceedings

The Programming language Ada : reference manual : proposed standard document

Reliable software technologies - Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14 18, 2001 : proceedings

Reliable software technologies - Ada-Europe 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 11, 1999 : proceedings

Vers ADA 95 par l'exemple : langage, technique et pratique
Autor: Fayard, Didier, a další
Vydáno: (1999)

Reliable software technologies - Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10 14, 1996 : proceedings

Concurrent and real-time programming in Ada 2005
Autor: Burns, Alan, 1953-, a další
Vydáno: (2007)

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

Programmation concurrente et temps réel avec ADA 95
Autor: Zaffalon, Luigi, a další
Vydáno: (1999)

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

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

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

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

Algorithmes et structures de données avec Ada, C++ et Java
Autor: Guerid, Abdelali, 19..-, a další
Vydáno: (2002)

Formal verification of trusted layers of software : application to the TPM Software Stack
Autor: Ziani, Yani, 1995-
Vydáno: (2025)

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

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

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

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

Formalisation d'un vérificateur dynamique de propriétés mémoire pour programmes C
Autor: Ly, Dara, 1993-
Vydáno: (2022)

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

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

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

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

Concepts et outils de programmation : le style fonctionnel, le style impératif, avec Caml et Ada
Autor: Accart Hardin, Thérèse, a další
Vydáno: (1992)

The Iconography of Ada Lovelace in Fictional Worlds
Autor: Hammerman, Robin, a další
Vydáno: (2024)

Ada Salas: un lirismo en harapos
Autor: Ávila-Martínez, Jaime
Vydáno: (2018)

A Survey of verification techniques for parallel programs
Autor: Barringer, Howard, 1951-

© 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