Login / Signup

Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems.

Tamjid HossainNancy A. Day
Published in: RE Workshops (2021)
Keyphrases
  • transition systems
  • model checking
  • concurrent systems
  • temporal logic
  • finite state
  • fully observable
  • process model
  • practical reasoning
  • control flow
  • model checker
  • partial observability
  • formal semantics