ToC

2016

  • Ivaylo Dobrikov, Michael Leuschel
    Enabling Analysis for Event-B (Technical Report).
    Technical Report, Institut für Informatik, University of Düsseldorf, STUPS/2016/xx, 2016.

2014

  • Michael Leuschel, Jens Bendisposto, Ivaylo Dobrikov, Sebastian Krings, Daniel Plagge
    From Animation to Data Validation: The ProB Constraint Solver 10 Years On.
    In Formal Methods Applied to Complex Systems: Implementation of the B Method, Jean-Louis Boulanger, Wiley ISTE, 427--446, 2014.
  • Ivaylo Dobrikov, Michael Leuschel
    Optimising the ProB Model Checker for B using Partial Order Reduction.
    Technical Report, Institut für Informatik, Heinrich-Heine-Universität Düsseldorf, STUPS/2014/xx, 2014.
  • Sebastian Krings, Jens Bendisposto, Michael Leuschel
    Turning Failure into Proof: Evaluating the ProB Disprover.
    In Proceedings of the 1st International Workshop about Sets and Tools, 2014.
  • John Witulski, Michael Leuschel
    Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB.
    In Proceedings of the 1st Workshop on Formal-IDE, EPTCS, 149, Electronic Proceedings in Theoretical Computer Science, 2014.
  • Jens Bendisposto, Sebastian Krings, Michael Leuschel
    Who watches the watchers: Validating the ProB Validation Tool.
    In Proceedings of the 1st Workshop on Formal-IDE, EPTCS, 149, Electronic Proceedings in Theoretical Computer Science, 2014.
  • Dominik Hansen, Jens Bendisposto, Michael Leuschel
    Integrating ProB into the TLA Toolbox.
    In TLA Workshop, 2014.
  • Dominik Hansen, Michael Leuschel
    Translating B to TLA + for Validation with TLC.
    In Proceedings ABZ'14, LNCS 8477, 40--55, 2014.
  • Michael Leuschel
    Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools.
    In VPT 2014, Alexei Lisitsa and Andrei Nemytykh, EPiC Series, 28, EasyChair, 1-1, 2014.

2013

2012

  • Dominik Hansen, Michael Leuschel
    Translating TLA+ to B for Validation with ProB.
    In Proceedings iFM'2012, LNCS 7321, Springer, 24--38, 2012.
  • Daniel Plagge, Michael Leuschel
    Validating B, Z and TLA+ using ProB and Kodkod.
    In Proceedings FM'2012, Dimitra Giannakopoulou and Dominique Méry, LNCS 7436, Springer, 372--386, 2012.
  • Ingo Weigelt
    Architectures for an Extensible Text Editor for Rodin.
    Technical Report, University of Düsseldorf, 2012.
  • Michael Jastram
    The ProR Approach: Traceability of Requirements and System Descriptions.
    In 2012.