Skip to content

Avatar model-checker improvements

Alessandro Tempia Calvino requested to merge alessandro_branch into master

Worked on the avatar model-checker to handle liveness and safety properties (CTL) verification. Optimized the model-checker for runtime and memory. Added tests for the model-checker. Validation of the internal model-checker available also with UPPAAL comparison.

Merge request reports