State space analysis is a popular formal reasoning technique. However, it is subject to the
crippling problem of state space explosion, where its application to real world models leads …

Incremental development involves creating a new specification or implementation by
modifying an existing one. This is a commonly used technique for handling complex systems …

Abstract Coloured Petri Nets (CPNs) are used to model the service provided by an
International Standard for the control of multimedia communications over telecommunication …

Analiza stabla neispravnosti (ASN) je tehnika za analizu pouzdanosti koja se koristi za
određivanje uzroka i verovatnoće otkaza sistema. ASN je bazirana na stablu neispravnosti …

In view of the characteristics of multiple elements and complex process of air defense and
antimissile, this paper firstly analyzes the processes of missile warning and interception in …

Abstract The Capability Exchange Signalling (CES) protocol is a sub-protocol of ITU-T
Recommendation H. 245," Control protocol for multimedia communication". We are …

Petri nets are powerful techniques for modelling and studying discrete event systems. They
are extensively used in both specification and quantitative analysis of such kind of systems …

Formal methods can be used to verify refinements made in the design stages of systems. For
example, the state space of a detailed design model can be compared with that of an …