Project

General

Profile

Overview

New project to design a new procedural langage to specify and express skills.
The main driver is to enable the synthesis of a Fiacre formal model equivalent to the skills, as to enable V&V, as well as Runtime Verification.
For now, we got started with the Skinet grammar, and mixed it with some OpenPRS control structure. Hence the heavy code share with OpenPRS to get started.

Issue tracking  Details

open closed Total
Bug 0 0 0

View all issues | Summary

Repository access links

This URL has Read-Only access

Members

Project administrator: Félix Ingrand