Formal specification and verification of the C# thread model.

Robert F. Stärk

Published in: Theor. Comput. Sci. (2005)

Keyphrases

formal specification
probabilistic model
model checking
process algebra
high level
fine grained
database
databases
artificial intelligence
case study
distributed systems
specification language