Semantics and Verification of Hierarchical CRP Programs.
R. K. ShyamasundarS. RameshPublished in: Hybrid Systems (1994)
Keyphrases
- symbolic execution
- specification language
- stable model semantics
- fixpoint semantics
- formal semantics
- dynamic logic
- logic programming
- hardware designs
- stable models
- database
- fixpoint
- signature verification
- database languages
- normal logic programs
- control program
- verification method
- model theoretic
- open world
- concurrent systems
- formal verification
- hierarchical model
- conceptual model
- hierarchical structure
- semantic information
- logic programs
- semantics for logic programs
- functional verification
- probabilistic logic programs
- chinese restaurant process
- declarative semantics
- hierarchical structures
- test generation
- control flow
- face verification
- answer sets
- hierarchical clustering
- model checking