Sefm2015: Difference between revisions

No edit summary
Line 38: Line 38:
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/tactic_all_models.pdf Tactics on all Models]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/tactic_all_models.pdf Tactics on all Models]


=== Surplus of ProB ==
=== Surplus of ProB ===
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/surplus.pdf Surplus of ProB (added last)]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/surplus.pdf Surplus of ProB (added last)]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/surplus2.pdf Surplus of ProB (added first)]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/surplus2.pdf Surplus of ProB (added first)]

Revision as of 09:56, 27 March 2015