RAVEN: Real-time analyzing and verification environment

MaRDI QIDQ2709209zbMATH OpenFDO

Authors Jürgen Ruf

Publication date 13 May 2001

Published in Journal of Universal Computer Science (Search for Journal in Brave)

zbMATH Keywords

RAVENreal-time verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Runtime verification for dynamic architectures
• Runtime verification of embedded real-time systems

Describes a project that uses

Uses Software

• RAVEN
• KIV

This page was built for publication: RAVEN: Real-time analyzing and verification environment

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