714 search results - page 38 / 143 » Certifying Model Checkers |
ISAAC
2007
Springer
15 years 3 months ago
2007
Springer
Checking value-sensitive data structures in sublinear space has been an open problem for over a decade. In this paper, we suggest a novel approach to solving it. We show that, in c...
IJFCS
2006
14 years 9 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
SMI
2006
IEEE
15 years 3 months ago
2006
IEEE
Polygonal meshes obtained from acquisition of real-world objects may easily exhibit topological or geometrical defects, which often prevent subsequent processing and analysis to p...
SOSP
1997
ACM
14 years 11 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
WSC
2000
14 years 11 months ago
2000
Simulation professionals need to see themselves first as systems analysts, i.e., problem solvers, rather than just simulation users. As the networked digital economy develops, sys...