Login / Signup
Regular Separability of Well-Structured Transition Systems.
Wojciech Czerwinski
Slawomir Lasota
Roland Meyer
Sebastian Muskalla
K. Narayan Kumar
Prakash Saivasan
Published in:
CONCUR (2018)
Keyphrases
</>
transition systems
concurrent systems
model checking
temporal logic
finite state
control flow
practical reasoning
formal specification
model checker
distributed systems
first order logic
domain independent