PLEASE: Predictable Logic based ExecutAble SpeCifications.
Robert B. TerwilligerRoy H. CampbellPublished in: ACM Conference on Computer Science (1986)
Keyphrases
- formal specification
- attribute grammars
- control flow
- knowledge representation
- model checking
- specification language
- data flow
- delay insensitive
- database
- case study
- high level
- data sets
- process algebra
- context free
- functional requirements
- formal methods
- multiscale
- image processing
- computer vision
- artificial intelligence
- bounded model checking