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