65 search results - page 12 / 13 » EMMA: Explicit Model Checking Manager (Tool Presentation) |
KBSE
2010
IEEE
13 years 4 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
JUCS
2006
13 years 5 months ago
2006
: To date, one of the main aims of the World Wide Web has been to provide users with information. In addition to private homepages, large professional information providers, includ...
CCS
2011
ACM
12 years 5 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
TPHOL
2009
IEEE
14 years 12 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
SACMAT
2009
ACM
14 years 8 days ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...