GEM: A Tool for Concurrency Specification and Verification.

Amy L. Lansky Susan S. Owicki

Published in: PODC (1983)

Keyphrases

formal verification
asynchronous circuits
formal methods
high level
software tools
user friendly
protocol specification
real time
conceptual model
data model
database systems
model checking
concurrency control
specification language
web services
website
database language
artificial intelligence