swMATH46342MaRDI QIDQ5975115FDOQ5975115
Author name not available (Why is that?)
Official website: https://www.ijcai.org/Proceedings/16/Papers/139.pdf
Source code repository: https://github.com/Corralx/leviathan#
Cited In (13)
- 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
- Aalta
- SAT-based explicit LTL reasoning and its application to satisfiability checking
- Title not available (Why is that?)
This page was built for software: Leviathan
