Livoa LogoLivoa
UML model
Pivot model (LFP)
Tile logic based model
Petri net based model
Program
Reformulation Enrichement
Synthesis
Formal debug
Synthesis
Formal debug
Code generation
Refinement
Maude program generation
Hierarchical verification
Verification

METHOD

by Sravani

0
0 uses