4036 search results - page 123 / 808 » Formal Methods |
141
click to vote
ZUM
2005
Springer
15 years 10 months ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
138
click to vote
TELSYS
2002
15 years 4 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
158
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
137
Voted
IV
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
129
Voted
FMSB
2008
15 years 6 months ago
2008
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...