1299 search results - page 158 / 260 » On the Correctness of Operating System Kernels |
162
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
167
click to vote
DFG
2004
Springer
15 years 12 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
187
click to vote
SIGOPSE
2004
ACM
15 years 12 months ago
2004
ACM
Overlay networks are widely used to deploy functionality at edge nodes without changing network routers. Each node in an overlay network maintains pointers to a set of neighbor no...
180
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
The large size and high complexity of securitysensitive applications and systems software is a primary cause for their poor testability and high vulnerability. One approach to all...
200
click to vote
POPL
1999
ACM
15 years 10 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...