2514 search results - page 35 / 503 » The use of industrial-strength formal methods |
148
click to vote
IFIP13
2004
15 years 3 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
126
click to vote
CIA
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...
114
click to vote
EKAW
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
150
click to vote
NFM
2011
14 years 8 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
171
click to vote
DANCE
2002
IEEE
15 years 6 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...