1356 search results - page 261 / 272 » The ideal of verified software |
104
click to vote
CDVE
2007
Springer
15 years 6 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
110
click to vote
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
TAICPART
2006
IEEE
15 years 5 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
103
click to vote
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...