386 search results - page 1 / 78 » Model Classifications and Automated Verification |
70
Voted
FMICS
2007
Springer
15 years 1 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 ...
CADE
2006
Springer
15 years 9 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...
72
Voted
TSE
2002
14 years 9 months ago
2002
CSL
2008
Springer
14 years 9 months ago
2008
Springer
CL
2004
Springer
14 years 9 months ago
2004
Springer