Results (1)
Search Parameters:
Keyword: Formal proofOpen AccessArticle
9 Pages, 1,156 KB 
Formal Proof of Properties of a Syntax-Oriented Editor of Robotic Missions Plans
Abstract:
This article copes with the formal verification of properties of the missions building module of PILOT’s software. PILOT is a language dedicated to remote control of robots. An incremental syntax-oriented editor was built in order to increase the dependability of PILOT’s missions and we showed that, under a maximum size of plan, this editor allows…
Read More(This article belongs to the Special Issue on Multidisciplinary Sciences and Engineering 2020-21 & Section Software Engineering in Computer Science (CSE))