564 search results - page 44 / 113 » Runtime Verification of C Programs |
ACMICEC
2007
ACM
14 years 25 days ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
JACM
2002
13 years 8 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
HASKELL
2007
ACM
14 years 21 days ago
2007
ACM
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
VEE
2005
ACM
14 years 2 months ago
2005
ACM
Instrumentation is commonly used to track application behavior: to collect program profiles; to monitor component health and performance; to aid in component testing; and more. P...