386 search results - page 1 / 78 » Model Classifications and Automated Verification |
97
Voted
FMICS
2007
Springer
15 years 5 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 ...
109
Voted
CADE
2006
Springer
16 years 1 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...
98
Voted
TSE
2002
15 years 23 days ago
2002
93
Voted
CSL
2008
Springer
15 years 1 months ago
2008
Springer
96
Voted
CL
2004
Springer
15 years 1 months ago
2004
Springer