10870 search results - page 311 / 2174 » Model Checking Programs |
192
click to vote
DFT
2006
IEEE
16 years 1 months ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
149
click to vote
ATAL
2005
Springer
16 years 15 days ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
172
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
200
click to vote
CCS
2003
ACM
16 years 8 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
221
click to vote
CASES
2005
ACM
15 years 9 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...