Experiences and new alternatives for teaching formal verification of Java programs.
Ana RomeroJose DivasónPublished in: ITiCSE (2018)
Keyphrases
- formal verification
- java programs
- model checking
- multi threaded
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- java language
- learning environment
- software components
- computer programming
- java virtual machine
- learning platform
- case study
- e learning
- real time
- formal specification
- software engineering
- cooperative
- social networks