Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems

DOI10.3233/FI-2012-743zbMath1279.68219OpenAlexW2147015405MaRDI QIDQ3168196

Wojciech Penczek, Bożena Woźna-Szcześniak, Andrzej Zbrzezny

Publication date: 29 October 2012

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2012-743

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Related Items (1)

Bounded semantics

Uses Software

• LTL2BA

This page was built for publication: Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems