MC: The formula generation of safety, reachability, Büchi, only uses is special

adamtool / webinterface

The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.

http://adam.informatik.uni-oldenburg.de:4567/

GNU General Public License v3.0

5 stars 2 forks source link

MC: The formula generation of safety, reachability, Büchi, only uses is special #79

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

Thus, when having places marked as bad and switching to Büchi, those are also used in the formula.

mgieseking commented 4 years ago

Fixed in commit 7090382 of the logics repository.