A Node-Style Visual Programming Environment for the nuXmv Model Checker.
Hayato NaitoTomoyuki YokogawaNao IgawaSousuke AmasakiHirohisa AmanKazutami ArimotoPublished in: GCCE (2020)
Keyphrases
- model checker
- visual programming environment
- model checking
- formal verification
- temporal logic
- formal methods
- description language
- formal specification
- test suite
- medical image analysis
- ai planning
- specification language
- artificial intelligence
- medical images
- image processing
- orders of magnitude
- test cases
- set theory