10870 search results - page 152 / 2174 » Model Checking Programs |
112
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
ARTS
1997
Springer
15 years 5 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
146
click to vote
SEBD
2001
15 years 3 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
138
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
96
Voted
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
We present a tool for finding errors in Java programs that translates Java bytecodes into symbolic pushdown systems, which are then checked by the Moped tool [1].