1111 search results - page 81 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
115
Voted
RTSS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
116
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
121
Voted
TPLP
2002
15 years 2 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
108
click to vote
CORR
2000
Springer
15 years 2 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
144
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...