Export Citations
1 Results
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,767,220 records)|Limit your search to The ACM Full-Text Collection (760,014 records)
- ArticleJune 2012
A formal interactive verification environment for the plan execution interchange language
IFM'12: Proceedings of the 9th international conference on Integrated Formal MethodsPages 343–357https://doi.org/10.1007/978-3-642-30729-4_24The 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 Verification Environment (...