Towards a notion of unsatisfiable and unrealizable cores for LTL

DOI10.1016/j.scico.2010.11.004zbMath1242.68075MaRDI QIDQ433349

Viktor Schuppan

Publication date: 13 July 2012

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2010.11.004

zbMATH Keywords

temporal logic; LTL; unrealizable cores; unsatisfiable cores

Mathematics Subject Classification ID

03B70: Logic in computer science

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• MiniSat
• CESAR
• TRP++
• RATSY
• KoMeT