1914 search results - page 5 / 383 » Verification by Abstract Interpretation |
EURODAC
1994
IEEE
15 years 2 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
157
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
NON-INTERFERENCE rizing Non-Interference by Abstract Interpretation Roberto Giacobazzi and Isabella Mastroeni Dipartimento di Informatica Universit`a di Verona Italy POPL'04 -...
AMAST
1997
Springer
15 years 2 months ago
1997
Springer
CORR
2008
Springer
14 years 10 months ago
2008
Springer
al abstract interpretation A formal study using Coq Yves Bertot INRIA Sophia-M
TCAD
2008
14 years 10 months ago
2008
ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for sc...