Sciweavers

Share
27 search results - page 6 / 6
» On Modern Debugging For Rule-Based Systems
Sort
View
ICFEM
2009
Springer
9 years 23 days ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
OOPSLA
2015
Springer
3 years 2 months ago
Stateless model checking of event-driven applications
Modern event-driven applications, such as, web pages and mobile apps, rely on asynchrony to ensure smooth end-user experience. Unfortunately, even though these applications are ex...
Casper Svenning Jensen, Anders Møller, Vese...
books