Formal Verification of 'Programming to Interfaces' Programs.
Jianhua ZhaoXuandong LiPublished in: CoRR (2013)
Keyphrases
- formal verification
- program slicing
- model checking
- high level language
- programming environment
- computer programs
- programming education
- automatic programming
- programming environments
- model checker
- programming language
- error handling
- automated verification
- high level programming language
- symbolic model checking
- bounded model checking
- novice programmers
- computer programming
- temporal logic
- program code
- interface design
- oracle pl sql
- graphical interfaces
- object oriented programming
- concurrent programming
- programming skills
- declarative programming
- multicore processors
- functional programming
- web services
- programming course
- operating system
- object oriented