Open source repositories tagged with #abstraction, ranked by health score.
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
