Visual Specification of Concurrent Systems.

David Safránek

Published in: ASE (2003)

Keyphrases

concurrent systems
transition systems
formal specification
process algebra
temporal logic
distributed systems
model checking
high level
visual information
petri net
specification language
formal verification
low level
artificial intelligence
visual cues
visual features
source code
computer vision