13 search results - page 1 / 3 » Automatic assume guarantee analysis for assertion-based form... |
95
Voted
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
104
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
135
Voted
FORTE
2009
15 years 1 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
132
Voted
TCAD
2008
15 years 3 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
134
Voted
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...