Specification and Verification in Higher-Order Algebra: A Case Study of Convolution.
Karl MeinkeL. J. StegglesPublished in: HOA (1993)
Keyphrases
- higher order
- formal verification
- protocol specification
- asynchronous circuits
- formal methods
- model checking
- natural images
- data model
- high order
- low order
- pairwise
- case study
- image processing
- relational algebra
- formal specification
- query language
- high level
- algebraic expressions
- conditional random fields
- markov random field
- relational databases
- lower order
- reactive systems
- verification method
- colored petri nets
- user defined