13 search results - page 1 / 3 » Automatic assume guarantee analysis for assertion-based form... |
ASPDAC
2005
ACM
13 years 6 months ago
2005
ACM
ICSE
2003
IEEE-ACM
14 years 4 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 ...
FORTE
2009
13 years 2 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...
TCAD
2008
13 years 4 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...
SP
2008
IEEE
13 years 11 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, ...