Leviathan

MaRDI QIDQ5975115swMATHFDO

Official website https://www.ijcai.org/Proceedings/16/Papers/139.pdf

Source code repository https://github.com/Corralx/leviathan#

Cited in

(13)

• scientific article; zbMATH DE number 7445165 (Why is no real title available?)
• Polsat
• A new rule for LTL tableaux
• One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)
• Theorem proving for pointwise metric temporal logic over the naturals via translations
• A genetically modified Hoare logic
• TSPASS
• TTM
• TRP++
• Acacia+
• lbtt
• SAT-based explicit LTL reasoning and its application to satisfiability checking
• Aalta

This page was built for software: Leviathan