Mechanized relational verification of concurrent programs with continuations.
Amin TimanyLars BirkedalPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- concurrent programs
- process algebra
- model checking
- asynchronous circuits
- concurrent systems
- concurrent programming
- relational databases
- data model
- formal specification
- web applications
- temporal logic
- database
- relational model
- concurrent processes
- formal methods
- building blocks
- distributed systems
- artificial intelligence