Pinboard (jm)
https://pinboard.in/u:jm/public/
recent bookmarks from jm
-
Combining static model checking with dynamic enforcement using the Statecall Policy Language
2015-03-24T12:55:54+00:00
http://blog.acolyer.org/2015/03/23/combining-static-model-checking-with-dynamic-enforcement-using-the-statecall-policy-language/
jm01 automaton ping (int max_count, int count, bool can_timeout) {
02 Initialize;
03 during {
04 count = 0;
05 do {
06 Transmit_Ping;
07 either {
08 Receive_Ping;
09 } or (can_timeout) {
10 Timeout_Ping;
11 };
12 count = count + 1;
13 } until (count >= max_count);
14 } handle {
15 SIGINFO;
16 Print_Summary;
17 };
]]>
ping model-checking models formal-methods verification static dynamic coding debugging testing distcomp papers
https://pinboard.in/
https://pinboard.in/u:jm/b:9eb26fa27811/