RAVEN

MaRDI QIDQ22048swMATHFDO

Official website http://www.jucs.org/jucs_7_1/raven_real_time_analyzing/Ruf_J.pdf

Cited in

(8)

• scientific article; zbMATH DE number 1946735 (Why is no real title available?)
• Symbolic verification and analysis of discrete timed systems
• B4Free
• LusSy
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Formal verification of discrete real-time systems
• Correctness of efficient real-time model checking
• RAVEN: Real-time analyzing and verification environment

This page was built for software: RAVEN