2282 search results - page 23 / 457 » Active property checking |
FMSD
2010
13 years 9 months ago
2010
Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...
ATVA
2006
Springer
14 years 2 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
KBSE
2006
IEEE
14 years 5 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
ICALT
2007
IEEE
14 years 5 months ago
2007
IEEE
Evaluation is one of the most important activities in the didactic materials development since it allows developers to check if the properties of obtained material satisfy all the...
CAV
2008
Springer
14 years 27 days ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...