Verifying optimizations of concurrent programs in the promising semantics.

Junpeng Zha Hongjin Liang Xinyu Feng

Published in: PLDI (2022)

Keyphrases

concurrent programs
process algebra
model checking
formal specification
asynchronous circuits
formal methods
temporal logic
concurrent systems
formal semantics
web applications
concurrent programming
machine learning
knowledge representation
web services composition