Abstract | ||
---|---|---|
The paper reports on the use of the B method and related tools to handle the feature interaction problem in telecommunications. The feature interaction problem states critical questions with respect to safety, sociological and legal aspects. Our approach proposes a new way to combine abstract machines and evaluates the resulting generation of proof obligations. The B method is a framework for specifying, refining and developing systems in a mathematical and rigorous, but simple way, and... |
Year | DOI | Keywords |
---|---|---|
1997 | 10.1007/978-1-4471-0997-6_21 | b method,abstract machine |
Field | DocType | Citations |
Specifier,Systems engineering,Computer science,Automated theorem proving,Theoretical computer science,B-Method,Invariant (mathematics),Artificial intelligence,Feature interaction problem,Proof obligation,Abstract machine,Machine learning | Conference | 6 |
PageRank | References | Authors |
0.55 | 6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bruno Mermet | 1 | 51 | 10.12 |
Dominique Méry | 2 | 571 | 64.58 |