Verification View: Revision history

View logs for this page

Filter revisionsExpandCollapse

To date:

Tag filter:

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

11 October 2017

curprev 07:4907:49, 11 October 2017‎ Yumiko Takahashi talk contribs‎ m 1,083 bytes +2‎ →‎Modelchecking
curprev 07:1407:14, 11 October 2017‎ Yumiko Takahashi talk contribs‎ 1,081 bytes +26‎ →‎Constraint Based Checking
curprev 06:3506:35, 11 October 2017‎ Yumiko Takahashi talk contribs‎ 1,055 bytes +251‎ No edit summary

4 October 2017

curprev 07:1007:10, 4 October 2017‎ Yumiko Takahashi talk contribs‎ 804 bytes +444‎ →‎Modelchecking
curprev 06:5106:51, 4 October 2017‎ Yumiko Takahashi talk contribs‎ 360 bytes +101‎ No edit summary

27 September 2017

curprev 09:1109:11, 27 September 2017‎ Yumiko Takahashi talk contribs‎ 259 bytes +45‎ No edit summary

20 September 2017

curprev 08:1508:15, 20 September 2017‎ Yumiko Takahashi talk contribs‎ 214 bytes +214‎ Created page with "The Verification View provides 3 different methods to test a machine: *Modelchecking *LTL Verifications and *Constraint Based Checking In each tab you can add multiple tests t..."

Retrieved from "https://prob.hhu.de/w/index.php?title=Verification_View"

Contact

Heinrich-Heine-University
Institut für Software und Programmiersprachen
To Website. Datenschutz/Privacy Policy.

Licence

All ProB components and source code
is distributed under the EPL v1.0 license.