| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
A Specification and Validation Technique Based on STATEMATE and FNLOG
Abstract : The paper presents a specification technique borrowing features from an formal and a semi-formal methods each in order to cover all features needed in the development of real-time and critical systems. The work is a contribution to the integration of formal and semi-formal methodsn namely STATEMATE and the temporal logic FNLOG [7]. FNLOG deals with quantitative temporal properties and is compatible with STATEMATE. The proposed integration approach uses the notations of STATEMATE and FNLOG, defines a various transformations rules of a STATEMATE specification towards FNLOG and extends the axiomatic of the temporal logic FNLOG by new lemmas to deal with duration properties. The paper presents the various steps of our integration approach.
Cited literature [4 references]
https://hal.inria.fr/inria-00102167
Contributor : Jacques Jaray Connect in order to contact the contributor
Submitted on : Friday, September 29, 2006 - 11:53:04 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 1:17:16 AM
Contributor : Jacques Jaray Connect in order to contact the contributor
Submitted on : Friday, September 29, 2006 - 11:53:04 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 1:17:16 AM