Emma: Developing an industrial reachability analyser for SDL

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

Volumn 1708, Issue , 1999, Pages 642-661

  Husberg, Nisse ^a   Manner, Tapio ^b  

^a AALTO UNIVERSITY   (Finland)

^b NOKIA SIEMENS NETWORKS   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; VERIFICATION;

DATA TYPE; DYNAMIC PROCESS; FRONT END; HIGH-LEVEL PETRI NET MODELING; REACHABILITY; VERIFICATION OF SOFTWARES; WORKING SYSTEMS;

FORMAL METHODS;

EID: 84947249626     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_36     Document Type: Conference Paper

References (14)

1. Design/CPN Home Page. http://www.daimi.aau.dk/CPnets/.
2. P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem. Phd thesis, University of Liege, November 1994.
3. Berndt Grahlmann. Parallel Programs as Nets. Phd thesis, Universit¨at Hildesheim, September 1998.
4. Tero Jyrinki. Dynamical Analysis of SDL Programs with Predicate/Transition Nets. Technical report, Helsinki University of Technology, Digital Systems Laboratory, April 1997.
5. Markus Malmqvist. Methodology of Dynamical Analysis of SDL Programs Using Predicate/Transition Nets. Technical report, Helsinki University of Technology, Digital Systems Laboratory, April 1997.
6. Tapio Manner. Extending Verification of Industrial TNSDL Programs with Formal Methods Using Emma. Master's thesis, Helsinki University of Technology, Theoretical Computer Science Laboratory, November 1998.
7. ObjectGEODE Home Page. http://www.verilogusa.com/solution/geode.htm.
8. SDT Home Page. http://www.telelogic.se/.
9. CCITT Specification and Description Language (SDL). Technical Report Z.100 (1993), ITU-T, June 1994.
10. Theoretical Computer Science Laboratory, Helsinki University of Technology. Maria - a Modular Reachability Analyzer, October 1 1998. Unpublished research plan 4.0.
11. Antti Valmari. State Space Generation: Efficiency and Practicality. PhD thesis 55, Tampere University of Technology, Tampere, Finland, 1988.
12. Kimmo Varpaaniemi. On th Stubborn Set Method in Reduced State Space Generation. Research Report 51, Digital Systems Laboratory, Helsinki University of Technology, FIN-02015 HUT, Finland, May 1998.
13. Kimmo Varpaaniemi, Jaakko Halme, Kari Hiekkanen, and Tino Pyssysalo. PROD Reference Manual. Technical Report 13, Digital Systems Laboratory, Helsinki University of Technology, FIN-02150 ESBO, Finland, August 1995.
14. François Vernadat, Pierre Azéma, and François Michel. Covering Step Graph. In J. Billington and W. Reisig, editors, Application and Theory of Petri Nets 1996, volume 1091 of LNCS, pages 516-535. Springer-Verlag, 1996.