WALi

WALi: the weighted automaton library.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Sharma, Tushar; Reps, Thomas: A new abstraction framework for affine transformers (2019)
  2. Alur, Rajeev; Bouajjani, Ahmed; Esparza, Javier: Model checking procedural programs (2018)