1914 search results - page 42 / 383 » Verification by Abstract Interpretation |
81
Voted
CJ
2010
15 years 17 days ago
2010
rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...
103
Voted
JISE
1998
15 years 4 days ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
90
Voted
ESOP
2010
Springer
15 years 3 months ago
2010
Springer
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
121
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
214
Voted
POPL
2008
ACM
16 years 23 days ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...