Formal Methods on Sebastian Krings https://www.krin.gs/tags/formal-methods/ Recent content in Formal Methods on Sebastian Krings Hugo -- 0.166.0 en Sun, 18 Oct 2020 00:00:00 +0000 Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering https://www.krin.gs/papers/cerone-whitepaper-fmfun19/ Sun, 18 Oct 2020 00:00:00 +0000 https://www.krin.gs/papers/cerone-whitepaper-fmfun19/ In Proceedings FMFun 2019 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 A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System https://www.krin.gs/papers/krings-misra-case-study-abz20/ Tue, 10 Mar 2020 00:00:00 +0000 https://www.krin.gs/papers/krings-misra-case-study-abz20/ In Proceedings ABZ 2020, Springer LNCS Validation and Real-Life Demonstration of ETCS Hybrid Level 3 Principles Using a Formal B Model https://www.krin.gs/papers/hansen-etcs-case-study-journal/ Tue, 31 Dec 2019 00:00:00 +0000 https://www.krin.gs/papers/hansen-etcs-case-study-journal/ In STTT, Springer 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 Inquiry- and Research-based Teaching in a Course on Model Checking https://www.krin.gs/talks/fmfun2019-1/ Mon, 02 Dec 2019 00:00:00 +0000 https://www.krin.gs/talks/fmfun2019-1/ FMFun 2019, Bergen, Norway Prototyping Games using Formal Methods https://www.krin.gs/talks/fmfun2019-2/ Mon, 02 Dec 2019 00:00:00 +0000 https://www.krin.gs/talks/fmfun2019-2/ FMFun 2019, Bergen, Norway 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 Automated Backend Selection for ProB Using Deep Learning https://www.krin.gs/papers/dunkelau-backend-selection-nfm19/ Sat, 23 Feb 2019 00:00:00 +0000 https://www.krin.gs/papers/dunkelau-backend-selection-nfm19/ In Proceedings NFM 2019, Springer LNCS Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation https://www.krin.gs/papers/petrasch-bmoth-avocs18/ Wed, 16 May 2018 00:00:00 +0000 https://www.krin.gs/papers/petrasch-bmoth-avocs18/ In Proceedings AVoCS 2018, Electronic Communications of the EASST 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 Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains https://www.krin.gs/papers/hansen-etcs-case-study-abz18/ Wed, 14 Mar 2018 00:00:00 +0000 https://www.krin.gs/papers/hansen-etcs-case-study-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 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 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 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 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 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 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