Disprover on Sebastian Krings https://www.krin.gs/tags/disprover/ Recent content in Disprover on Sebastian Krings Hugo -- 0.166.0 en Mon, 28 Aug 2017 00:00:00 +0000 Towards Infinite-State Symbolic Model Checking for B and Event-B https://www.krin.gs/papers/krings-dissertation/ Mon, 28 Aug 2017 00:00:00 +0000 https://www.krin.gs/papers/krings-dissertation/ Dissertation submitted to the Heinrich-Heine-University Düsseldorf, Germany Turning Failure into Proof: The ProB Disprover for B and Event-B https://www.krin.gs/papers/krings-disprover-eval-sefm15/ Fri, 21 Aug 2015 00:00:00 +0000 https://www.krin.gs/papers/krings-disprover-eval-sefm15/ In Proceedings SEFM 2015, Springer LNCS Turning Failure into Proof: The ProB Disprover https://www.krin.gs/papers/krings-disprover-poster-satsmt14/ Thu, 10 Jul 2014 00:00:00 +0000 https://www.krin.gs/papers/krings-disprover-poster-satsmt14/ Poster presented at SAT / SMT Summer School 2014 Turning Failure into Proof: Evaluating the ProB Disprover https://www.krin.gs/papers/krings-disprover-eval-sets14/ Wed, 25 Sep 2013 00:00:00 +0000 https://www.krin.gs/papers/krings-disprover-eval-sets14/ In Proceedings SETS 2014