Event-driven temporal logic pattern for control software requirements specification

DOI10.1007/978-3-030-89247-0_7MaRDI QIDQ2145270zbMATH OpenOpenAlexFDO

Authors Vladimir Zyubin, Natalia Garanina, Sergey Staroletov, Andrei Rozov, Tatiana Liakh, Igor S. Anureev

Publication date 17 June 2022

Full work available at URL https://doi.org/10.1007/978-3-030-89247-0_7

Mathematics Subject Classification ID

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

Recommendations

• Specifying timed patterns using temporal logic
• scientific article; zbMATH DE number 218548
• scientific article; zbMATH DE number 4108727
• Application of temporal logic to program specification
• Tools and Algorithms for the Construction and Analysis of Systems
• Temporal Logic for Programmable Logic Controllers
• Specification and verification using temporal logics
• scientific article; zbMATH DE number 1318522
• Modal event-clock specifications for timed component-based design

Cites work

• scientific article; zbMATH DE number 1836373 (Why is no real title available?)
• Handbook of model checking
• Property Specifications for Workflow Modelling

Cited in

(2)

• scientific article; zbMATH DE number 2090517 (Why is no real title available?)
• Mining requirements from closed-loop control models

This page was built for publication: Event-driven temporal logic pattern for control software requirements specification

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