From Traces to Proofs: Proving Concurrent Programs Safe.

Chinmay Narayan Subodh Vishnu Sharma Shibashis Guha S. Arun-Kumar

Published in: TASE (2016)

Keyphrases

concurrent programs
process algebra
concurrent programming
web applications
formal specification
theorem prover
machine learning
case study
relational databases
knowledge representation