Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems.

Mohammad Abdulaziz Charles Gretton Michael Norrish

Published in: ITP (2015)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
fully observable
state space
artificial intelligence
case study
software systems
planning problems