Jens Bendisposto | Sebastian Krings /authors/jens-bendisposto/ Jens Bendisposto Wowchemy (https://wowchemy.com)en-usWed, 30 Sep 2020 00:00:00 +0000 /media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_3.png Jens Bendisposto /authors/jens-bendisposto/ Integrating Formal Specifications into Applications - The ProB Java API /publication/koerner-executable-specs-journal/ Wed, 30 Sep 2020 00:00:00 +0000 /publication/koerner-executable-specs-journal/ Embedding High-Level Formal Specifications into Applications /publication/koerner-executable-specs-fm19/ Mon, 23 Sep 2019 00:00:00 +0000 /publication/koerner-executable-specs-fm19/ Turning Failure into Proof: The ProB Disprover for B and Event-B /publication/krings-disprover-eval-sefm15/ Fri, 21 Aug 2015 00:00:00 +0000 /publication/krings-disprover-eval-sefm15/ From Animation to Data Validation: The ProB Constraint Solver 10 Years On /publication/leuschel-animation-to-data-validation/ Tue, 22 Jul 2014 00:00:00 +0000 /publication/leuschel-animation-to-data-validation/ Who watches the watchers: Validating the ProB Validation Tool /publication/bendisposto-watchers-fide14/ Wed, 23 Apr 2014 00:00:00 +0000 /publication/bendisposto-watchers-fide14/ Turning Failure into Proof: Evaluating the ProB Disprover /publication/krings-disprover-eval-sets14/ Wed, 25 Sep 2013 00:00:00 +0000 /publication/krings-disprover-eval-sets14/ B constrained /publication/krings-b-constrained-rodin13/ Fri, 05 Jul 2013 00:00:00 +0000 /publication/krings-b-constrained-rodin13/