Verification of systems with degradation

MaRDI QIDQ4610039zbMATH OpenFDO

Authors J. Barnat, Jana Tůmová, I. Černá

Publication date 5 April 2018

zbMATH Keywords

automata-based approach to verificationlinear temporal logicquantitative model checkingsystems with degradationtimed automata

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Discounting in LTL
• Verification of a technical system model with linear temporal logic
• Formally reasoning about quality
• Formalizing and Reasoning about Quality
• Model checking discounted temporal properties

This page was built for publication: Verification of systems with degradation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4610039)