386 search results - page 1 / 78 » Model Classifications and Automated Verification |
FMICS
2007
Springer
13 years 8 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
14 years 5 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...
TSE
2002
13 years 4 months ago
2002
CSL
2008
Springer
13 years 5 months ago
2008
Springer
CL
2004
Springer
13 years 4 months ago
2004
Springer