Formal Semantics of the PsyC Language

Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni
May, 2023
PDF Source Document

Abstract

This research report develops a detailed formal semantics for the PsyC language. It studies PsyC through logical-time and synchronous-reactive semantics and provides the semantic basis used in the associated verification methodology developed during the PhD work.

Type
Report
Publication
Inria Research Report RR-9506
PsyC Semantics Logical Execution Time Synchronous-Reactive Systems
Fabien Siron
Fabien Siron
Research Engineer | Lecturer

Research engineer working on formal verification, synchronous-reactive systems and safety-critical real-time software.