Time intervals and time-equivalence reduction in CPN Tools 4. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Time Intervals and Reduction
Tag: Formal methods
Formal Specification
It’s important to formally specify your protocol. Hence: You can see it’s formal because I added a gratuitous sigma. We implemented the protocol in two different tools, written in two different languages and after two minor tweaks, it worked. Thank you formal specification! MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]