1 search result for "tag:"modelchecking""

  1. dolmen_model
    A model checker for automated deduction languages
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 1 other packages
    Last published 13 Feb 2023