RAVEN

swMATH10079MaRDI QIDQ22048FDOQ22048

Author name not available (Why is that?)

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

Cited In (8)

• Symbolic verification and analysis of discrete timed systems
• B4Free
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• LusSy
• Formal verification of discrete real-time systems
• Correctness of efficient real-time model checking
• RAVEN: Real-time analyzing and verification environment
• Title not available (Why is that?)

This page was built for software: RAVEN