Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.
Reiji NakajimaMichio HondaHayao NakaharaPublished in: Acta Informatica (1980)
Keyphrases
- formal verification
- symbolic execution
- asynchronous circuits
- model checking
- formal methods
- specification language
- protocol specification
- hardware designs
- formal specification
- static analysis
- control program
- hierarchical structure
- hierarchical model
- logical representation
- program understanding
- hierarchical classification
- description language
- logical reasoning
- high level programming language
- signature verification
- java programs
- logical structure
- high level
- coarse to fine
- hierarchical clustering
- face recognition