386 search results - page 1 / 78 » Model Classifications and Automated Verification |
109
Voted
FMICS
2007
Springer
15 years 6 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
122
Voted
CADE
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
114
Voted
TSE
2002
15 years 2 months ago
2002
103
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
115
Voted
CL
2004
Springer
15 years 2 months ago
2004
Springer