Automatic verification of sequential infinite-state processes :: SCD d'Orléans

Automatic verification of sequential infinite-state processes

Automatic verification of sequential infinite-state processes

A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability. But this approach neglects that cent...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Burkart, Olaf
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 1354
Fag:	Génie logiciel Informatique Ordinateurs Processus infinis
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Automatic verification of sequential infinite-state processes, Olaf Burkart, 1997, Berlin, Springer, 1 vol. (X-163 p.), Lecture notes in computer science, 3-540-63982-9 • Automatic Verification of Sequential Infinite-State Processes, Texte imprimé, 9783662195864

Lignende værker

Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings

Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
af: Godefroid, Patrice, 19..-

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

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

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

Theory of program structures : schemes, semantics, verification
af: Greibach, Sheila, 1939-
Udgivet: (2005)

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

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Formal hardware verification : methods and systems in comparison
af: Kropf, Thomas, 1961-

Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, october 31-november 3, 2004 : proceedings

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

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Uses of infinity
af: Zippin, Leo, 1905-
Udgivet: (1962)

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18 21, 1990 : proceedings

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

Methods of programming : selected papers on the CIP-project
af: Broy, Manfred, 1949-

Informatics : 10 years back, 10 years ahead
af: Wilhelm, Reinhard, 1946-

Formal program development : IFIP TC2/WG 2.1 State-of-the-Art Report
af: Möller, Bernhard, 1953-

Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, Genova, Italy, May 25-29, 2003 : proceedings

Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings

Specification and compositional verification of real-time systems
af: Hooman, Jozef, 19..-

Theory and application of infinite series
af: Knopp, Konrad, 1882-1957
Udgivet: (1990)

Software process : principles, methodology, and technology
af: Derniame, Jean-Claude, 19..-...., professeur d'informatique

SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 : proceedings

SOFSEM'98 : theory and practice of informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21 27, 1998 : proceedings

Validation of stochastic systems : a guide to current research
af: Baier, Christel, 19..-
Udgivet: (2004)

Interactive Markov chains : and the quest for quantified quality
af: Hermanns, Holger, 1967-

Advanced information systems engineering : 13th international conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001 : proceedings

Advanced information systems engineering : 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20 24, 1996 : proceedings

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings

Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings

Software reuse : methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings
af: Gacek, Cristina, 1964-

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings

FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19 23, 1993 : proceedings

Software reuse : advances in software reusability : 6th international conference, ICSR-6, Vienna, Austria, June 27-29, 2000 : proceedings

Software reuse : ; proceedings methods, techniques, and tools : 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004

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

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

Advanced information systems engineering : 5th International Conference, CAiSE '93, Paris, France, June 8 11, 1993 : 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