Examples of RML specifications

This page contains several useful RML examples and patterns that can be used to verify several kinds of properties in different domains.

Resource management

Data types

Object-oriented interfaces

Interaction protocols

Internet Of Things

Robotic systems

Regular expressions

Non-deterministic Context Free examples