103 search results - page 2 / 21 » Approximate Symbolic Model Checking for Incomplete Designs |
ATVA
2008
Springer
13 years 7 months ago
2008
Springer
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
FORTE
2004
13 years 7 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
ASPDAC
2006
ACM
13 years 11 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
TSMC
2010
13 years 13 days ago
2010
The original rough-set model is primarily concerned with the approximations of sets described by a single equivalence relation on a given universe. With granular computing point of...
DAC
2003
ACM
14 years 6 months ago
2003
ACM