2132 search results - page 283 / 427 » Automated software winnowing |
150
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
140
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
151
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
133
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Personal firewalls are an important aspect of security for home computer users, but little attention has been given to their usability. We conducted semi-structured interviews to ...
142
click to vote
TFM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...