Model Checking on Sebastian Krings https://www.krin.gs/tags/model-checking/ Recent content in Model Checking on Sebastian Krings Hugo -- 0.166.0 en Wed, 01 Sep 2021 00:00:00 +0000 Increasing Student Self-Reliance and Engagement in Model-Checking Courses https://www.krin.gs/papers/koerner-mc-throughout-the-years-fmtea21/ Wed, 01 Sep 2021 00:00:00 +0000 https://www.krin.gs/papers/koerner-mc-throughout-the-years-fmtea21/ In Proceedings FMTea 2021, Springer LNCS A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System https://www.krin.gs/talks/abz2021/ Thu, 10 Jun 2021 00:00:00 +0000 https://www.krin.gs/talks/abz2021/ ABZ 2021 – 8th International Conference on Rigorous State Based Methods, virtual Testing, Model Checking and Static Analysis – Dream Team or Rivals? https://www.krin.gs/papers/krings-dreamteam-ew21/ Thu, 04 Mar 2021 00:00:00 +0000 https://www.krin.gs/papers/krings-dreamteam-ew21/ In Proceedings EW 2021, Weka Testing, Model Checking and Static Analysis – Dream Team or Rivals? https://www.krin.gs/talks/embeddedworld2021/ Thu, 04 Mar 2021 00:00:00 +0000 https://www.krin.gs/talks/embeddedworld2021/ Embedded World Conference 2020, virtual 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 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 Inquiry- and Research-based Teaching in a Course on Model Checking https://www.krin.gs/papers/krings-mc-course-fmfun19/ Tue, 12 Nov 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-mc-course-fmfun19/ In Pre-Proceedings FMFun 2019 Experience Report on An Inquiry-Based Course on Model Checking https://www.krin.gs/papers/krings-mc-course-seuh19/ Thu, 10 Jan 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-mc-course-seuh19/ In Proceedings SEUH 2019, CEUR Workshop Proceedings 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 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 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 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