Constraint Solving | Sebastian Krings

Translating Alloy and Extensions to Classical B

Thu, 19 Dec 2019 00:00:00 +0000

Embedding SMT-LIB into B for Interactive Proof and Constraint Solving

Fri, 22 Nov 2019 00:00:00 +0000

Towards Constraint Logic Programming over Strings for Test Data Generation

Wed, 11 Sep 2019 11:00:00 +0000

Towards Constraint Logic Programming over Strings for Test Data Generation

Tue, 16 Jul 2019 00:00:00 +0000

Automated Backend Selection for ProB Using Deep Learning

Sat, 23 Feb 2019 00:00:00 +0000

ProB

Wed, 26 Sep 2018 00:00:00 +0000

ProB is an animator, constraint solver and model checker for the B-Method. It allows fully automatic animation of B specifications, and can be used to systematically check a specification for a wide range of errors. The constraint-solving capabilities of ProB can also be used for model finding, deadlock checking and test-case generation. It allows fully automatic animation of B specifications, and can be used to systematically check a specification for a wide range of errors. The constraint-solving capabilities of ProB can also be used for model finding, deadlock checking and test-case generation.

Measuring Code Coverage of Prolog Programs Using Mutation Testing

Wed, 01 Aug 2018 00:00:00 +0000

From Software Specifications to Constraint Programming

Mon, 09 Apr 2018 00:00:00 +0000

A Translation from Alloy to B

Wed, 14 Mar 2018 00:00:00 +0000

Three is a crowd: SAT, SMT and CLP on a chessboard

Mon, 08 Jan 2018 00:00:00 +0000

Towards Infinite-State Symbolic Model Checking for B and Event-B

Mon, 28 Aug 2017 00:00:00 +0000

Contraint Logic Programming over Infinite Domains with an Application to Proof

Sun, 01 Jan 2017 00:00:00 +0000

SMT Solvers for Validation of B and Event-B models

Tue, 24 May 2016 00:00:00 +0000

Turning Failure into Proof: The ProB Disprover for B and Event-B

Fri, 21 Aug 2015 00:00:00 +0000

Inferring Physical Units in Formal Models

Tue, 26 May 2015 00:00:00 +0000

Turning Failure into Proof: The ProB Disprover

Thu, 10 Jul 2014 00:00:00 +0000

Inferring Physical Units in B Models

Wed, 25 Sep 2013 00:00:00 +0000

Turning Failure into Proof: Evaluating the ProB Disprover

Wed, 25 Sep 2013 00:00:00 +0000

B constrained

Fri, 05 Jul 2013 00:00:00 +0000