Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic.
Mike DoddsSuresh JagannathanMatthew J. ParkinsonKasper SvendsenLars BirkedalPublished in: ACM Trans. Program. Lang. Syst. (2016)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- high order
- domain specific
- programming language
- markov random field
- natural images
- logic programming
- pairwise
- asynchronous circuits
- low order
- classical logic
- lower order
- logical framework
- predicate logic
- multi valued
- modal logic
- conditional random fields
- model checking
- sound source
- predicate calculus
- formal theory
- natural deduction
- verification method
- delay insensitive
- general purpose
- artificial intelligence