Verics is a model checker developed at Institute of Computer Science, Polish Academy of Sciences.

Back to top