Verification of a Loop Scheduling Protocol using Finite State Verification.

Pooja Adhikari Edward A. Luke Edward B. Allen

Published in: PDCCS (2009)

Keyphrases

finite state
model checking
model checker
formal verification
markov chain
formal analysis
formal specification
temporal logic
transition systems
markov decision processes
cryptographic protocols
grid workflow
learning algorithm
scheduling problem
concurrent systems