Modeling and verification of sC++ applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1384, Issue , 1998, Pages 232-248

  Cattel, Thierry ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; MODEL CHECKING; PROGRAM DEBUGGING;

ACTIVE OBJECT; MODEL CHECKER; MODELING AND VERIFICATIONS; NON-DETERMINISTIC EVENTS; PASSIVE OBJECTS; PROMELA;

C++ (PROGRAMMING LANGUAGE);

EID: 84876637778     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0054175     Document Type: Conference Paper

References (16)

1. N. Begat, Réalisation d'un interface entre sC++ et SPIN, IIE, Evry, France, engineer report, in french, 1996.
2. G. Booch, J. Rumbaugh, I. Jacobson The UML User Guide, Add. Wesley, 1998.
3. T. Cattel, Modeling and Verification of a Multiprocessor Realtime OS Kernel, FORTE'94, Berne, 1994.
4. T. Cattel, Using Concurrency and Formal Methods for the Design of Safe Process Control. PDSE/ICSE-18 Workshop, Berlin, March 1996
5. J. Daems, Aide á l'engagement de centrales d'alarmes, EPFL engineer report, in french, 1995
6. G. Duval, Réalisation d'un debugger pour SPIN, report of Maîtrise d'informatique, Universit6 de Besançon, France, in french, 1994.
7. G. Duval, J. Julliand, Modeling and Verification of the RUBIS Micro-Kernel with SPIN, Proc. First SPIN Workshop, INRS Quebec, Canada, Oct. 1995.
8. G. Duval, T. Cattel, Specifying and Verifying the Steam Boiler Controler with SPIN. Springer-Verlag, LNCS vol. 1165, 1996.
9. G. Duval, T. Cattel, From Architecture down to Implementation of Safe Process Control Applications. HICSS-30 Wailea, Maui, Hawaii, U.S.A. 1997.
10. G. Duval, Specification and Verification of an Object Request Broker, submitted to ICSE, Kyoto, Japan, 1998.
11. C.A.R. Hoare, Monitors: An Operating System Structuring Concept, Communications of the ACM, 12(10), October 1974.
12. G.J. Holzmann, The Model Checker SPIN, IEEE Transactions on software engineering, vol. 23, no.5, May 1997.
13. J. Madsen, Validation and Testing of sC++ applications, IEEE conference Engineering of Computer Based Systems, Monterey, California, U.S.A. 1997.
14. C. Petitpierre, sC++, A Language Adapted to Interactive Applications, accepted for IEEE Computer Journal, March 1998. http://diwww.epfl.ch/w31ti/
15. K. Slonneger, B.L. Kurtz, Formal Syntax and Semantics of Programming Languages, Addison-Wesley, 1995.
16. C. West, Protocol validation by random state exploration. PSTV, VI, 1987.