Using Krakatoa for Teaching Formal Verification of Java Programs.
Jose DivasónAna RomeroPublished in: FMTea (2019)
Keyphrases
- formal verification
- java programs
- model checking
- multi threaded
- software components
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- test suite
- java language
- e learning
- computer programming
- temporal logic
- learning environment
- genetic programming
- evolutionary algorithm
- relational databases