Mutual Exclusion Verification of Peterson's Solution in Isabelle/HOL.

Xiaojun Ji Lihua Song

Published in: TSA (2016)

Keyphrases

mutual exclusion
theorem prover
long distance
formal methods
natural deduction
optimal solution
model checking
verification method