1676 search results - page 127 / 336 » Formal System Development with KIV |
156
click to vote
DAGSTUHL
1998
15 years 6 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
116
click to vote
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
150
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
143
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary diff...
133
click to vote
JAIR
2008
15 years 4 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...