A complete fragment of LTL(EB)

DOI10.1007/978-3-031-56940-1_13MaRDI QIDQ6630198zbMATH OpenFDO

Authors Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Ait-Ameur

Publication date 30 October 2024

Full work available at URL https://doi.org/10.1007/978-3-031-56940-1_13

zbMATH Keywords

verificationtemporal logicEvent-Bliveness

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Database theory (68P15) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites work

• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 2172804 (Why is no real title available?)
• Abstract State Machines
• Adequate proof principles for invariance and liveness properties of concurrent programs
• Choiceless polynomial time
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• Modeling in Event B. System and software engineering.
• Temporal logic and state systems

This page was built for publication: A complete fragment of LTL(EB)

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