Formal Derivation of Strongly Correct Concurrent Programs.

Axel van Lamsweerde Michel Sintzoff

Published in: Acta Informatica (1979)

Keyphrases

concurrent programs
process algebra
formal specification
formal methods
concurrent programming
databases
artificial intelligence
information systems
web applications
software engineering
general purpose
model checking