Automatic real-time analysis of reactive systems with the PARTS toolset

DOI10.1023/A:1011235419951MaRDI QIDQ5955432zbMATH OpenFDO

Authors Ugo Buy, R. H. Sloan

Publication date 13 February 2002

Published in Automated Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1011235419951

zbMATH Keywords

real-time systemssimple time Petri nets

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The use of partial-order technique for verification of time Petri nets
• Model-checking for real-time systems
• Semantics and pragmatics of real-time maude
• Partial Order Reduction for Verification of Real-Time Components
• scientific article; zbMATH DE number 62143

Describes a project that uses

Uses Software

• Ada95
• PARTS
• HyTech

This page was built for publication: Automatic real-time analysis of reactive systems with the PARTS toolset

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5955432)