Constraint Solving on Sebastian Krings https://www.krin.gs/tags/constraint-solving/ Recent content in Constraint Solving on Sebastian Krings Hugo -- 0.166.0 en Thu, 19 Dec 2019 00:00:00 +0000 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/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 Towards Constraint Logic Programming over Strings for Test Data Generation https://www.krin.gs/talks/declare2019/ Wed, 11 Sep 2019 00:00:00 +0000 https://www.krin.gs/talks/declare2019/ DECLARE 2019, Cottbus, Germany Towards Constraint Logic Programming over Strings for Test Data Generation https://www.krin.gs/papers/krings-towards-clpstr-test-data-wlp19/ Tue, 16 Jul 2019 00:00:00 +0000 https://www.krin.gs/papers/krings-towards-clpstr-test-data-wlp19/ Accepted for WLP 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 Measuring Code Coverage of Prolog Programs Using Mutation Testing https://www.krin.gs/papers/efremidis-mutation-testing-wflp18/ Wed, 01 Aug 2018 00:00:00 +0000 https://www.krin.gs/papers/efremidis-mutation-testing-wflp18/ In Proceedings WFLP 2018, Springer LNCS From Software Specifications to Constraint Programming https://www.krin.gs/papers/hallerstede-specs-to-constraints-sefm18/ Mon, 09 Apr 2018 00:00:00 +0000 https://www.krin.gs/papers/hallerstede-specs-to-constraints-sefm18/ In Proceedings SEFM 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 Three is a crowd: SAT, SMT and CLP on a chessboard https://www.krin.gs/papers/krings-crowded-chessboard-padl18/ Mon, 08 Jan 2018 00:00:00 +0000 https://www.krin.gs/papers/krings-crowded-chessboard-padl18/ In Proceedings PADL 2018, 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 Contraint Logic Programming over Infinite Domains with an Application to Proof https://www.krin.gs/papers/krings-infinite-domains-wlp16/ Sun, 01 Jan 2017 00:00:00 +0000 https://www.krin.gs/papers/krings-infinite-domains-wlp16/ In Proceedings WLP 2016, EPTCS 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 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 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 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 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 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