Overview
New project to design a new procedural langage to specify and write acting 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.
Members
Project administrator: François Félix Ingrand