ProSkill - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes
Logiciel Année : 2023

ProSkill

Félix Ingrand

Résumé

ProSkill is a Procedural Skill langage to program execution/acting component for autonomous robots. This Paper describes most features of the ProSkill langage. Yet, its main interest is that the programs written in this langage can automatically be translated in an equivalent Fiacre formal model, which can then be used with the Tina toolbox (to prove some formal properties using model checking), but also with the Hippo engine to execute the equivalent formal model of the program.

Dates et versions

hal-04738223 , version 1 (18-10-2024)

Identifiants

Citer

Félix Ingrand. ProSkill. 2023. ⟨hal-04738223⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More