Efficient formal methods for the synthesis of concurrent programs.

Published in: ACM SIGSOFT Softw. Eng. Notes (2000)

Keyphrases

formal methods
process algebra
concurrent programs
model checking
formal specification
formal analysis
software engineering
concurrent systems
databases
artificial intelligence
knowledge based systems
safety critical