Leviathan
From MaRDI portal
Software:5975115
No author found.
Source code repository: https://github.com/Corralx/leviathan#
Related Items (6)
A genetically modified Hoare logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Theorem proving for pointwise metric temporal logic over the naturals via translations ⋮ One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) ⋮ SAT-based explicit LTL reasoning and its application to satisfiability checking
This page was built for software: Leviathan
