69 search results - page 10 / 14 » Modular Verification of Software Components in C |
160
Voted
PCI
2005
Springer
15 years 11 months ago
2005
Springer
HIV Drug Resistance testing has been established as a routine test in several cases. Estimation of genotypic resistance is a laborious task consisting of experimental procedure and...
330
Voted
CASES
2011
ACM
14 years 5 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
156
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 9 months ago
2006
Springer
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...
284
Voted
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
130
Voted
DSN
2007
IEEE
16 years 4 days ago
2007
IEEE
Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an assurance case that sets out the dependabilit...