Executable Specifications with Quantifiers in the FASE System.
Stan JeffersonSamuel N. KaminPublished in: POPL (1986)
Keyphrases
- formal specification
- attribute grammars
- control flow
- delay insensitive
- specification language
- natural language
- first order logic
- model checking
- process algebra
- reactive systems
- xml processing
- data flow
- concurrent systems
- context free grammars
- neural network
- context free
- artificial intelligence
- genetic algorithm
- reverse engineering
- distributed systems
- high level
- image processing