Thanks for the info. What theorem prover did you use and how do you convert the ...

		oggy on May 1, 2014 \| parent \| context \| favorite \| on: Co-routines as an alternative to state machines (2... Thanks for the info. What theorem prover did you use and how do you convert the security rules to a format that the prover understands?