Specification and compositional verification of real-time systems :: SCD d'Orléans

Specification and compositional verification of real-time systems

Specification and compositional verification of real-time systems

The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent processes communicate by synchronous message passing along unidirectional channels. To specifiy functional...

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Hooman, Jozef, 19..-
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 558
Teme:	Génie logiciel Informatique Temps réel (informatique) Langages de programmation
Online dostop:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Sporočilo:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Specification and compositional verification of real-time systems, J. Hooman, Berlin, Springer, 1991, 1 vol. (VIII-235 p.), Lecture notes in computer science, 0-387-54947-1 • Specification and Compositional Verification of Real-Time Systems, Texte imprimé, 9783662161678

Podobne knjige/članki

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004 : revised lectures
od: Bernardo, Marco

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26 28, 1999 : proceedings

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

Hybrid and real-time systems : international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings

Concurrent and real-time programming in Ada 2005
od: Burns, Alan, 1953-, et autres
Izdano: (2007)

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

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
od: Lakhnech, Yassine, 19..-

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

Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings

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

Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings

Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9 12, 2002 : proceedings

Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmaek, September, 14-18, 1998 : proceedings

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers

Algebraic specification techniques in object oriented programming environments
od: Breu, Ruth, 19..-

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

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

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

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

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 30, 1992 : selected papers

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers

CIM et temps réel
od: Brenier, Henri, 19..-...., ingénieur
Izdano: (1992)

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
od: Cottet, Francis, et autres
Izdano: (2014)

Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

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

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21 23, 1997 : proceedings

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 20, 1990 : proceedings

Real-time systems' quality of service : Introducing quality of service considerations in the life-cycle of real-time systems
od: Gumzej, Roman, et autres

Active, real-time, and temporal database systems : ; proceedings second international workshop, ARTDB '97, Como, Italy, September 8-9, 1997

Systèmes temps réel de contrôle-commande : conception et implémentation
od: Cottet, Francis, et autres
Izdano: (2005)

Real-time imaging.
Izdano: (1995)

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988

Techniques de synchronisation pour les applications parallèles
od: Padiou, Gérard, 1950-, et autres
Izdano: (1990)

Real-time and embedded computing systems and applications : 9th international conference, RTCSA 2003, Tainan City, Taiwan, ROC, February 18-20, 2003 : revised papers

CASL user manual : introduction to using the Common Algebraic Specification Language
od: Bidoit, Michel, 1957-, et autres

CASL reference manual : the complete documentation of the Common Algebraic Specification Language
od: Mosses, Peter D.

Parallel execution of Parlog
od: Cheese, Andrew, 19..-

Dynamic Reconfiguration in Real-Time Systems : Energy, Performance, and Thermal Perspectives
od: Wang, Weixun, et autres
Izdano: (2013)

© 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