1914 search results - page 5 / 383 » Verification by Abstract Interpretation |
143
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
285
click to vote
POPL
2004
ACM
16 years 7 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 -...
192
Voted
AMAST
1997
Springer
15 years 11 months ago
1997
Springer
144
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
al abstract interpretation A formal study using Coq Yves Bertot INRIA Sophia-M
150
click to vote
TCAD
2008
15 years 7 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...