Title | ||
---|---|---|
Using the B Formal Approach for Incremental Specification Design of Interactiv Systems |
Abstract | ||
---|---|---|
This paper introduces a new technique for the verification of interactive systems. It first presents the use of a model oriented formal method for specifying interactive systems, i.e. the B method. Then, it suggests formally based solutions which allow solving difficulties that are inherent to interactive systems specification, like reachability, observability or reliability. Our claim is that this model-oriented technique that uses proof obligations can be used together with model checking techniques, where automatic proofs of properties can be performed. |
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/978-0-387-35349-4_6 | EHCI |
Keywords | Field | DocType |
b method,model oriented notation,b formal approach,specification refinement,interactiv systems,specification of interactive system.,interaction properties verification,incremental specification design,model checking,formal method | Observability,Model checking,Programming language,Computer science,Formal specification,Reachability,Mathematical proof,B-Method,Formal methods,Formal verification | Conference |
Volume | ISSN | ISBN |
22 | 1571-5736 | 0-412-83520-7 |
Citations | PageRank | References |
10 | 0.73 | 13 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yamine Aït Ameur | 1 | 287 | 52.61 |
Patrick Girard | 2 | 68 | 8.90 |
Francis Jambon | 3 | 84 | 12.27 |