Deductive Verification of UML Models in TLPVS.
Tamarah AronsJozef HoomanHillel KuglerAmir PnueliMark van der ZwaagPublished in: UML (2004)
Keyphrases
- uml models
- object oriented
- model checking
- written in natural language
- face verification
- test cases
- relational databases
- sequence diagrams
- query language
- general purpose
- abductive inference
- data sets
- verification method
- formal verification
- signature verification
- explanation based learning
- programming language
- software engineering