Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications
From MaRDI portal
Publication:5166687
DOI10.1007/978-3-319-02444-8_13zbMath1410.68220OpenAlexW64759968MaRDI QIDQ5166687
Thomas S. E. Maibaum, Ramiro Demasi, Pablo F. Castro, Nazareno Aguirre
Publication date: 8 July 2014
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_13
formal specificationfault-toleranceprogram synthesistemporal logicscorrectness by constructiondeontic logics
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items