| Document Date: 2013-09-29 14:14:18
Open Document File Size: 455,25 KBShare Result on Facebook
City London / / Company Schneider / / / Facility Statecall Policy Language Anil Madhavapeddy Imperial College / / IndustryTerm realistic network / Internet applications / Internet data traffic / pre-processors / host software complex / Internet protocols / non-deterministic either/or operator / Software modelchecking / Internet servers / / OperatingSystem UNIX / / Organization Statecall Policy Language Anil Madhavapeddy Imperial College / / Position guard / programmer / / Product Apache / / ProgrammingLanguage Promela / C / Occam / / Technology Internet protocols / dom / DNS / UNIX / /
SocialTag |
Combining Static Model Checking with Dynamic Enforcement using the Statecall Policy Language Anil Madhavapeddy Imperial College, South Kensington, London SW1 2AZ, UK [removed]