Leviathan
From MaRDI portal
Software:5975115
swMATH46342MaRDI QIDQ5975115FDOQ5975115
Author name not available (Why is that?)
Source code repository: https://github.com/Corralx/leviathan#
Cited In (6)
- 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
- SAT-based explicit LTL reasoning and its application to satisfiability checking
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: Leviathan
