Definition of the Fiacre Real-Time Specification Patterns Language

Abstract

In this report, we define a high-level language for expressing properties over system expressed using Fiacre. Our approach is based on the definition of a set of property patterns inspired by properties that commonly occur during the specification of concurrent and reactive systems.

Publication
Research Report T2-12-B, Quarteft Project deliverable