VIP: A Visual Editor and Compiler for v-Promela
Abstract elided by the publisher.
Related papers
- Tool-Based Specification of Visual Languages and Graphic Editors TACAS 2000
- VIP: verifying real-world C idioms with integer-pointer casts POPL 2022
- Automated Co-evolution of GMF Editor Models SLE 2010
- Reactive EFSMs - Reactive Promela/RSPIN TACAS 1996
- A Formal Executable Semantics of PROMELA VMCAI 2026
- Extending Promela and Spin for Real Time TACAS 1996
- Getting grammars into shape for block-based editors SLE 2021
- Webrb: evaluating a visual domain-specific language for building relational web-applications OOPSLA 2007