ProB on Sebastian Krings https://www.krin.gs/tags/prob/ Recent content in ProB on Sebastian Krings Hugo -- 0.166.0 en Wed, 30 Sep 2020 00:00:00 +0000 Integrating Formal Specifications into Applications - The ProB Java API https://www.krin.gs/papers/koerner-executable-specs-journal/ Wed, 30 Sep 2020 00:00:00 +0000 https://www.krin.gs/papers/koerner-executable-specs-journal/ In Formal Methods in System Design, Springer The First Twenty-Five Years of Industrial Use of the B Method https://www.krin.gs/papers/butler-history-of-b-fmics20/ Tue, 28 Jul 2020 00:00:00 +0000 https://www.krin.gs/papers/butler-history-of-b-fmics20/ In Proceedings FMICS 2020, Springer LNCS Translating Alloy and Extensions to Classical B https://www.krin.gs/papers/krings-alloy-to-b-journal/ Thu, 19 Dec 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-alloy-to-b-journal/ In SCP, Elsevier Embedding SMT-LIB into B for Interactive Proof and Constraint Solving https://www.krin.gs/talks/ifm2019/ Fri, 06 Dec 2019 00:00:00 +0000 https://www.krin.gs/talks/ifm2019/ iFM 2019, Bergen, Norway Embedding SMT-LIB into B for Interactive Proof and Constraint Solving https://www.krin.gs/papers/krings-smtlib-in-b-ifm19/ Fri, 22 Nov 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-smtlib-in-b-ifm19/ Proceedings iFM 2019, Springer LNCS Prototyping Games Using Formal Methods https://www.krin.gs/papers/krings-prototyping-games-fmfun19/ Sat, 02 Nov 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-prototyping-games-fmfun19/ In Proceedings FMFun 2019 Embedding High-Level Formal Specifications into Applications https://www.krin.gs/papers/koerner-executable-specs-fm19/ Mon, 23 Sep 2019 00:00:00 +0000 https://www.krin.gs/papers/koerner-executable-specs-fm19/ In Proceedings FM 2019, Springer LNCS The History and Evolution of B and Event-B https://www.krin.gs/papers/krings-history-of-b-hfm19/ Sun, 30 Jun 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-history-of-b-hfm19/ Extended Abstract and Talk at HFM 2019 Repair and Generation of Formal Models Using Synthesis https://www.krin.gs/papers/schmidt-model-repair-ifm18/ Mon, 09 Jul 2018 00:00:00 +0000 https://www.krin.gs/papers/schmidt-model-repair-ifm18/ In Proceedings iFM 2018, Springer LNCS A Translation from Alloy to B https://www.krin.gs/papers/krings-alloy-to-b-abz18/ Wed, 14 Mar 2018 00:00:00 +0000 https://www.krin.gs/papers/krings-alloy-to-b-abz18/ In Proceedings ABZ 2018, Springer LNCS plspec - A Specification Language for Prolog Data https://www.krin.gs/papers/koerner-plspec-declare17/ Fri, 01 Sep 2017 00:00:00 +0000 https://www.krin.gs/papers/koerner-plspec-declare17/ In Proceedings DECLARE 2017, Springer LNCS Proof Assisted Bounded and Unbounded Symbolic Model Checking of Software and System Models https://www.krin.gs/papers/krings-proof-assisted-mc-scico/ Fri, 01 Sep 2017 00:00:00 +0000 https://www.krin.gs/papers/krings-proof-assisted-mc-scico/ In Science of Computer Programming, Elsevier The Burden of High-Level Languages: Complicated Symbolic Model Checking https://www.krin.gs/papers/krings-burden-phdsymposium16/ Sun, 05 Jun 2016 00:00:00 +0000 https://www.krin.gs/papers/krings-burden-phdsymposium16/ Presented at PhD Symposium at iFM 2016 SMT Solvers for Validation of B and Event-B models https://www.krin.gs/papers/krings-smt-integration-ifm16/ Tue, 24 May 2016 00:00:00 +0000 https://www.krin.gs/papers/krings-smt-integration-ifm16/ In Proceedings iFM 2016, Springer LNCS Interactive Model Repair by Synthesis https://www.krin.gs/papers/schmidt-model-repair-abz16/ Wed, 11 May 2016 00:00:00 +0000 https://www.krin.gs/papers/schmidt-model-repair-abz16/ In Proceedings ABZ 2016, Springer LNCS Proof Assisted Symbolic Model Checking for B and Event-B https://www.krin.gs/papers/krings-proof-assisted-mc-abz16/ Wed, 11 May 2016 00:00:00 +0000 https://www.krin.gs/papers/krings-proof-assisted-mc-abz16/ In Proceedings ABZ 2016, Springer LNCS Inferring Physical Units in Formal Models https://www.krin.gs/papers/krings-physical-units-sosym/ Tue, 26 May 2015 00:00:00 +0000 https://www.krin.gs/papers/krings-physical-units-sosym/ In Software and Systems Modeling, Springer From Animation to Data Validation: The ProB Constraint Solver 10 Years On https://www.krin.gs/papers/leuschel-animation-to-data-validation/ Tue, 22 Jul 2014 00:00:00 +0000 https://www.krin.gs/papers/leuschel-animation-to-data-validation/ In Formal Methods Applied to Complex Systems: Implementation of the B Method Who watches the watchers: Validating the ProB Validation Tool https://www.krin.gs/papers/bendisposto-watchers-fide14/ Wed, 23 Apr 2014 00:00:00 +0000 https://www.krin.gs/papers/bendisposto-watchers-fide14/ In Proceedings F-IDE 2014, EPTCS Inferring Physical Units in B Models https://www.krin.gs/papers/krings-physical-units-sefm13/ Wed, 25 Sep 2013 00:00:00 +0000 https://www.krin.gs/papers/krings-physical-units-sefm13/ In Proceedings SEFM 2013, Springer LNCS B constrained https://www.krin.gs/papers/krings-b-constrained-rodin13/ Fri, 05 Jul 2013 00:00:00 +0000 https://www.krin.gs/papers/krings-b-constrained-rodin13/ In Proceedings Rodin User and Developer Workshop 2013, TUCS Lecture Notes