Communicating sequential processes
Communicating sequential processes
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Statecharts: A visual formalism for complex systems
Science of Computer Programming
CCITT SDL: overview of the language and its application
Computer Networks and ISDN Systems - CCITT SDL
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Feature interaction detection using backward reasoning with LOTOS
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
Symbolic Model Checking
Simple on-the-fly automatic verification of linear temporal logic
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Specification, detection and resolution of IN feature interactions with Estelle
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
An Integration of Model Checking with Automated Proof Checking
Proceedings of the 7th International Conference on Computer Aided Verification
Analyzing Non-determinism in Telecommunication Services Using P-invariant of Petri-Net Model
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS
HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS
Algorithm of Translation of MSC-specified System into Petri Net
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Algorithm of Translation of MSC-specified System into Petri Net
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
On a Homomorphism of a Component Petri Net
Cybernetics and Systems Analysis
| Hi-index | 0.00 |
A review of using formal methods of specification and verification of software and hardware systems is given and an approach and formal methods are proposed that make it possible to solve the so-called feature interaction problem arising in telecommunication systems.