Formal Methods and Software Engineering | Zendy

Zhiming Liu | Zendy; Jifeng He | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Methods and Software Engineering

Author(s) -

Zhiming Liu,

Jifeng He

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/11901433

Subject(s) - computer science , software engineering , formal methods , programming language

RT-LOTOS is a timed process algebra which enables compact\udand abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri nets. It is therefore possible to apply Time Petri nets verification techniques to the profit of RT-LOTOS. Our approach has been implemented in RTL2TPN, a prototype tool which takes as input an RT-LOTOS specification and outputs a TPN. The latter is verified using TINA, a TPN analyzer developed by LAAS-CNRS. The toolkit made of RTL2TPN and TINA has been positively benchmarked against previously developed RT-LOTOS verification tool

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research