Verification of programs under the release-acquire semantics.
Parosh Aziz AbdullaJatin AroraMohamed Faouzi AtigShankara Narayanan KrishnaPublished in: PLDI (2019)
Keyphrases
- hardware designs
- symbolic execution
- stable model semantics
- model checking
- formal semantics
- stable models
- dynamic logic
- control flow
- logic programming
- fixpoint semantics
- transformation rules
- programming language constructs
- automatic programming
- test generation
- specification language
- face verification
- logic programs
- neural network
- operational semantics
- formal verification
- epistemic logic
- speech acts
- normal logic programs
- declarative semantics
- formal methods
- concurrent systems
- semantics for logic programs
- answer sets