Bounded model checking distributed temporal logic

DOI10.1093/logcom/exac042OpenAlexW4283659387MaRDI QIDQ6166689

Francisco Dionisio, Unnamed Author, Jaime Ramos

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

distributed systemsmodel checkingbounded model checkingspecification and verificationSAT-based model checkingdistributed temporal logic (DTL)

Mathematics Subject Classification ID

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

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