4036 search results - page 49 / 808 » Formal Methods |
117
click to vote
FMOODS
2007
15 years 3 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
121
click to vote
IWFM
1998
15 years 3 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
111
Voted
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
115
click to vote
ENTCS
2008
15 years 29 days ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...