Higher-Order Equational Logic for Specification, Simulation and Testing.
Karl MeinkePublished in: HOA (1995)
Keyphrases
- higher order
- asynchronous circuits
- higher order logic
- high order
- markov random field
- lambda calculus
- state machine
- pairwise
- test case generation
- simulation model
- theorem proving
- code generation
- logical framework
- specification language
- formal verification
- transition systems
- equational theories
- simulation environment
- theorem prover
- data sets
- low order
- simulation models
- operational semantics
- qualitative simulation
- formal language
- software testing
- business rules
- test set
- linear temporal logic
- lattice theory
- logic programming
- natural images
- neural network