4460 search results - page 13 / 892 » Formal methods for interactive systems |
155
Voted
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
118
Voted
FMOODS
2007
15 years 4 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 ...
135
Voted
ISSAC
1998
Springer
15 years 7 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
126
Voted
DSD
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
160
Voted
TII
2008
15 years 2 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...