Fully-Tested code generation from TLA+ specifications.

Gabriela Moreira Cristiano D. Vasconcellos Janine Kniess

Published in: SAST (2022)

Keyphrases

code generation
application development
formal specification
software development
modeling language
code generator
software reuse
rapid prototyping
model driven
databases
design patterns
object oriented
information technology
temporal logic
development process
query language
database systems
real world