LIRA
From MaRDI portal
Cited in
(9)- Don't care words with an application to the automata-based approach for real addition
- TaPAS
- The complexity of reversal-bounded model-checking
- LASH
- GenPSAT
- TaPAS: The Talence Presburger Arithmetic Suite
- A Generalization of Semenov’s Theorem to Automata over Real Numbers
- Probabilistic logic over equations and domain restrictions
- Ehrenfeucht-Fraïssé goes automatic for real addition
This page was built for software: LIRA
