1914 search results - page 145 / 383 » Verification by Abstract Interpretation |
129
Voted
CSFW
2007
IEEE
15 years 4 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
89
Voted
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
95
Voted
AAAI
2004
15 years 2 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
90
Voted
WSC
2004
15 years 2 months ago
2004
Factory physics provides a systematic description, expressed as laws, of the underlying behavior of a system. These laws can provide important assistance in performing simulation ...
108
Voted
ROOM
2000
15 years 2 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...