scientific article

zbMath0970.68109MaRDI QIDQ2709812

Wolfgang Reif, Jürgen Ruf, Tobias Vollmer, Gerhard Schellhorn

Publication date: 13 August 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

real-time model checkingbitvectorsRAVEN model checker

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Abstract data types; algebraic specification (68Q65)

Uses Software

• KIV
• RAVEN

This page was built for publication: