Login / Signup
Abstractions for Transition Systems with Applications to Stubborn Sets.
Henri Hansen
Published in:
Concurrency, Security, and Puzzles (2017)
Keyphrases
</>
transition systems
model checking
temporal logic
concurrent systems
weighted average
practical reasoning
finite state
social networks
case study
software engineering
population size
formal verification