INFAMY: An Infinite-State Markov Model Checker.

Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang

Browse the full CAV paper archive.