motor: The modestTool Environment
Abstract elided by the publisher.
Related papers
- Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software POPL 1983
- MIO: Multiverse Debugging in the Face of Input/Output OOPSLA 2025
- The ASF+SDF Meta-environment: A Component-Based Language Development Environment CC 2001
- Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo) SLE 2018
- XEVE, an ESTEREL Verification Environment CAV 1998
- Formal Methods in an Industrial Environment CAV 1998
- The Proof Assistant as an Integrated Development Environment APLAS 2013
- Verification Support Environment CAV 1996