Formal Methods Tools

At a Glance

Applications Runtime Verifier
Developers Iowa State University
Interfaces CLI Web
Licenses Apache-2.0 MIT
Maintenance Actively Maintained

Description

The Realizable Responsive Unobtrusive Unit is an online runtime monitor framework.