WALi
WALi: the weighted automaton library.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
Sorted by year (- Sharma, Tushar; Reps, Thomas: A new abstraction framework for affine transformers (2019)
- Alur, Rajeev; Bouajjani, Ahmed; Esparza, Javier: Model checking procedural programs (2018)