Formal Verification of 'Programming to Interfaces' Programs.
Jianhua ZhaoXuandong LiPublished in: Int. J. Softw. Informatics (2016)
Keyphrases
- formal verification
- program slicing
- model checking
- high level language
- programming environment
- computer programs
- automatic programming
- model checker
- programming education
- programming language
- bounded model checking
- error handling
- automated verification
- high level programming language
- declarative programming
- program code
- novice programmers
- symbolic model checking
- programming environments
- graphical interfaces
- computer programming
- concurrent programming
- user interface
- programming skills
- temporal logic
- interface design
- logic programming