User:Nicolas/Collections/ADVANCE D3.4 Improvement of automated proof

From Event-B
Revision as of 14:29, 6 October 2014 by imported>Nicolas (→‎Available Documentation)
Jump to navigationJump to search

Overview

TODO

Motivations / Decisions

TODO

Available Documentation

TODO Tactic profiles are described in the Rodin Handbook[1].

The user manual of the SMT Solvers plug-in is available on the Event-B wiki[2].

Conclusion

TODO

References