4693 search results - page 844 / 939 » Verifying Hybrid Systems |
100
click to vote
STORAGESS
2005
ACM
15 years 6 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...
118
click to vote
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
100
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
108
click to vote
FAST
2008
15 years 3 months ago
2008
As the world moves to digital storage for archival purposes, there is an increasing demand for reliable, lowpower, cost-effective, easy-to-maintain storage that can still provide ...
122
Voted
JFP
2007
15 years 17 days ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...