106 search results - page 1 / 22 » On Verifying Complex Properties using Symbolic Shape Analysi... |
CORR
2006
Springer
13 years 8 months ago
2006
Springer
ICCD
1995
IEEE
14 years 2 days ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
CHARME
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
DAS
2008
Springer
13 years 10 months ago
2008
Springer
In this paper we present an adaptive method for graphic symbol representation based on shape contexts. The proposed descriptor is invariant under classical geometric transforms (r...
ISSTA
2000
ACM
14 years 2 days ago
2000
ACM
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...