LLFSMs to TLA+: A Model-to-Text Transformation of Executable Models Enabling Specification and Verification of Multi-Threaded and Concurrent Systems.

Vladimir Estivill-Castro, Miguel Carrillo, David A. Rosenblueth

Browse the full MODELSWARD paper archive.