386 search results - page 1 / 78 » Model Classifications and Automated Verification |
FMICS
2007
Springer
15 years 4 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 ...
100
Voted
CADE
2006
Springer
16 years 18 days 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
14 years 12 months ago
2002
CSL
2008
Springer
15 years 11 days ago
2008
Springer
CL
2004
Springer
15 years 5 days ago
2004
Springer