Event-driven temporal logic pattern for control software requirements specification

DOI10.1007/978-3-030-89247-0_7zbMATH Open1496.68197OpenAlexW3206124440MaRDI QIDQ2145270FDOQ2145270

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

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

Mathematics Subject Classification ID

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

Cites Work

• Property Specifications for Workflow Modelling
• Handbook of model checking
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• 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)