: A User-Friendly Formal Verification Tool.
Giovanni CapobiancoUmberto Di GiacomoFrancesco MercaldoAntonella SantonePublished in: KES (2019)
Keyphrases
- user friendly
- formal verification
- graphical interface
- graphical user interface
- highly interactive
- software package
- user interface
- model checking
- model checker
- user friendly interface
- automated verification
- bounded model checking
- online databases
- senior citizens
- symbolic model checking
- interactive data mining
- information technology
- intrusion detection
- command line
- digital libraries
- knowledge base
- program slicing
- data mining