Login / Signup
Modular reasoning about structured TLA specifications.
Georg Rock
Werner Stephan
Andreas Wolpers
Published in:
Tool Support for System Specification, Development and Verification (1998)
Keyphrases
</>
delay insensitive
temporal logic
formal specification
decision making
structured learning
attribute grammars
modular structure
highly flexible
finite state machines
formal theory
spatial reasoning
real world
structured data
mobile robot
multiscale
image sequences
high level
information systems