Login / Signup

A Visual Modeling Environment for the nuXmv Model Checker Intended for Novice Users.

Kazuma ToyotaTomoyuki YokogawaSousuke AmasakiHirohisa AmanKazutami Arimoto
Published in: IIAI-AAI (2022)
Keyphrases
  • novice users
  • model checker
  • model checking
  • description language
  • temporal logic
  • formal methods
  • formal verification
  • database
  • search engine
  • search tasks