Title | ||
---|---|---|
Generating Probabilistic Temporal Logic Formulas from Probabilistic Scenario-Based Specifications |
Abstract | ||
---|---|---|
Probabilistic Timed Property Sequence Chart(PTPSC) is a new scenario-based specification for specifying probabilistic properties. However, there is currently no model checking tool available to verify probabilistic properties specified by PTPSC specifications. Consequently, as a first step to apply probabilistic model checking technique into PTPSC, this paper links PTPSC to probabilistic temporal logic: Continuous Stochastic Logic (CSL). According to the formal syntax of PTPSC we defined previously, a syntax directed translator is defined to automatically translate a PTPSC specification into a CSL formula. Since CSL is a property specification of existing tool PRISM, the practical implication of the construction is that the tool supports for PTPSC specifications by translating PTPSC specifications into CSL formulas. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1109/TASE.2011.30 | TASE |
Keywords | Field | DocType |
ptpsc specification,generating probabilistic temporal logic,probabilistic timed property sequence chart,tool prism,probabilistic properties,probabilistic scenario-based specifications,probabilistic logic,new scenario-based specification,scenario-based specification,probabilistic model checking technique,syntax directed translator,temporal logic,probabilistic property,property specification,model checking tool,continuous stochastic logic,formal syntax,formal verification,csl formula,probabilistic temporal logic formulas,unified modeling language | Model checking,Programming language,Unified Modeling Language,Computer science,Probabilistic CTL,Theoretical computer science,Formal grammar,Temporal logic,Probabilistic logic,Syntax,Formal verification | Conference |
ISBN | Citations | PageRank |
978-1-4577-1487-0 | 1 | 0.35 |
References | Authors | |
8 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wenrui Li | 1 | 58 | 8.98 |
Pengcheng Zhang | 2 | 40 | 10.97 |
Wang Zhijian | 3 | 106 | 27.49 |
Zhongxue Yang | 4 | 12 | 2.37 |