Formal methods (FM) are mathematically-based techniques that provide a rigorous basis for
software development: the application of FMs makes it possible to achieve provable …

Based on a previous work using abstract interpretation for secret property verification, we
propose a new method for protocol verification combining abstract interpretation for …

Abstract “Semantic” equivalence between process specifications is essential for various
phases of the development of computer/telecommunications protocols as well as other …

ISO and IEC have jointly developed two Formal Description Techniques (FDTs) for
specifying distributed real time systems such as computer/telecommunications protocols …

In this paper, we investigate the use of formal methods in the various phases of the life-cycle
of develo** communications protocols, software, and distributed systems. We identify …

In this paper, a formal method for automated transformation of an SDL specification into a
corresponding Lotos specification is presented. The method is applicable to various SDL …

Complexity and importance of computer and telecommunications protocols require formal
specification of these protocols using Formal Description Techniques (FDTs). Two …

Event detection plays an important role in sensor network applications such as battlefield
surveillance and habitat monitoring. However, effective approaches to specify events in a …

In this paper, we develop a sound Conformance Test Suite for the Transport Layer Protocol
Internationally standardized by both ISO and IEC. This is to test the implementations of the …

In this paper, we discuss the testing of data flow aspects of communications protocols and
distributed systems specified in Lotos; the ISO Formal Description Technique (FDT). We also …