Login / Signup
The Fixed-Parameter Tractability of Model Checking Concurrent Systems.
Stefan Göller
Published in:
CSL (2013)
Keyphrases
</>
concurrent systems
model checking
temporal logic
formal specification
process algebra
transition systems
formal verification
finite state
model checker
single peaked
formal methods
fixed parameter tractable
verification method
optimal solution
modal logic
incomplete information
state space