Automated and Modular Refinement Reasoning for Concurrent Programs.

Chris Hawblitzel Erez Petrank Shaz Qadeer Serdar Tasiran

Published in: CAV (2) (2015)

Keyphrases

concurrent programs
concurrent programming
knowledge base
process algebra
knowledge representation
general purpose
database
production rules