Login / Signup

PKind: A parallel k-induction based model checker

Temesghen KahsaiCesare Tinelli
Published in: PDMC (2011)
Keyphrases