An environment based on rewriting logic for parallel systems formal specification and prototyping.

Published in: J. Syst. Archit. (1997)

Keyphrases

formal specification
formal methods
process algebra
specification languages
asynchronous circuits
programming environment
expert systems
model checking
communication networks
distributed systems
fine grained
software components
computing environments
reverse engineering
data abstraction