Specification and Verification of a Formal System for Structurally Recursive Functions.
Andreas AbelPublished in: TYPES (1999)
Keyphrases
- recursive functions
- formal methods
- formal specification
- inductive inference
- model checking
- formal verification
- protocol specification
- formal analysis
- asynchronous circuits
- reactive systems
- specification languages
- concurrent systems
- temporal logic
- specification language
- colored petri nets
- formal language
- petri net
- requirements specification
- high level
- formal languages
- verification method
- operational semantics
- face verification
- decision trees
- domain knowledge
- learning algorithm