Listar por tema "Ejecución del plan"
Mostrando ítems 1-2 de 2
-
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
(© 2020 Springer Nature Switzerland AG.Springer, Berlin, Heidelberg., 2012)The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ... -
A formal library of set relations and its application to synchronous languages
(Elsevier B.V., 2011)Set relations are particularly suitable for specifying the small-step operational semantics of synchronous languages. In this paper, a formal library of set relations for the definition, verification of properties, and ...