10870 search results - page 311 / 2174 » Model Checking Programs |
180
click to vote
DFT
2006
IEEE
16 years 24 days 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...
139
click to vote
ATAL
2005
Springer
16 years 5 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...
164
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...
188
click to vote
CCS
2003
ACM
15 years 12 months 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...
206
click to vote
CASES
2005
ACM
15 years 8 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...