Login / Signup

Partial Order Methods for Statistical Model Checking and Simulation.

Jonathan BogdollLuis María Ferrer FioritiArnd HartmannsHolger Hermanns
Published in: FMOODS/FORTE (2011)
Keyphrases
  • model checking
  • partial order
  • temporal logic
  • formal specification
  • partially ordered
  • formal verification
  • optimal policy
  • set theory