Modelling and verifying of a 'cash-point service' using MOBY/PLC

Formal Aspects of Computing

Volumn 12, Issue 4, 2000, Pages 220-221

  Dierks, Henning ^a   Tapken, Josef ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

Model checking; PLC; Real time; Timed automata; Verification

Indexed keywords

EID: 0042727737     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650070015     Document Type: Article

References (5)

1. Alur, R. and Dill, D. L.: A theory of timed automata. TCS, 126:183-235, 1994.
2. Chaochen, Z., Hoare, C. A. R. and Ravn, A. P.: A calculus of durations. IPL, 40/5:269-276, 1991.
3. Dierks, H.: PLC-Automata: A new class of implementable real-time automala. In M. Bertran and T. Rus, (eds). ARTS'97, volume 1231 of LNCS, pages 111-125, Mallorca, Spain, May 1997. Springer.
4. Dierks, H., Fehnker, A., Mader, A. and Vaandrager, F. W.: Operational and logical semantics for polling real-time systems. In A. P. Ravn and H. Rischel, (eds). FTRTFT'98, volume 1486 of LNCS, pages 29-40, Lyngby, Denmark, September 1998. Springer.
5. Krieg-Brückner, B., Peleska, J., Olderog, E.-R. et al.: UniForM: Universal Formal Methods Workbench. In Statusseminar des BMBF Softwaretechnologie, pages 357-378. BMBF, Berlin, 1996.