Bounded model checking distributed temporal logic

DOI10.1093/LOGCOM/EXAC042MaRDI QIDQ6166689zbMATH OpenOpenAlexFDO

Authors Jaime Ramos, Francisco Dionisio

Publication date 3 August 2023

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exac042

zbMATH Keywords

bounded model checkingdistributed systemsdistributed temporal logic (DTL)model checkingSAT-based model checkingspecification and verification

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Distributed explicit bounded LTL model checking
• scientific article; zbMATH DE number 1973987
• scientific article; zbMATH DE number 1377375
• Bounded model checking for timed automata
• Distributed breadth-first search LTL model checking
• Dealing with practical limitations of distributed timed model checking for timed automata
• Model-checking timed temporal logics
• Bounded parametric verification for distributed time Petri nets with discrete-time semantics
• Bounded model-checking of discrete duration calculus

Cited in

(3)

• Distributed breadth-first search LTL model checking
• Distributed symbolic bounded property checking
• scientific article; zbMATH DE number 1302050 (Why is no real title available?)

This page was built for publication: Bounded model checking distributed temporal logic

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