Navigation
Special Pages
- Recent changes

User
- Log in

Using ProB with Atelier B: Revision history

View logs for this page

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.

curprev 11:4711:47, 14 March 2025‎ Michael Leuschel talk contribs‎ 10,429 bytes −1‎ →‎Reflexive Closure
curprev 11:4711:47, 14 March 2025‎ Michael Leuschel talk contribs‎ 10,430 bytes +403‎ →‎Reflexive Closure
curprev 10:5410:54, 14 March 2025‎ Michael Leuschel talk contribs‎ 10,027 bytes −4‎ →‎Reflexive Closure
curprev 10:5410:54, 14 March 2025‎ Michael Leuschel talk contribs‎ 10,031 bytes +785‎ →‎Differences

curprev 13:4513:45, 7 February 2025‎ Michael Leuschel talk contribs‎ 9,246 bytes +2‎ →‎Using the Atelier B Provers inside ProB
curprev 13:4513:45, 7 February 2025‎ Michael Leuschel talk contribs‎ 9,244 bytes +64‎ No edit summary
curprev 13:3613:36, 7 February 2025‎ Michael Leuschel talk contribs‎ 9,180 bytes +120‎ →‎ProB as Atelier B Prover

curprev 10:0410:04, 5 February 2025‎ Michael Leuschel talk contribs‎ 9,060 bytes −1‎ →‎Limitations

curprev 07:5307:53, 30 April 2023‎ Michael Leuschel talk contribs‎ 8,963 bytes −1‎ →‎Extra Features of ProB
curprev 07:5207:52, 30 April 2023‎ Michael Leuschel talk contribs‎ 8,964 bytes +447‎ →‎Extra Features of ProB

curprev 11:5711:57, 11 March 2022‎ Michael Leuschel talk contribs‎ 7,595 bytes +84‎ →‎Extra Features of ProB
curprev 11:5611:56, 11 March 2022‎ Michael Leuschel talk contribs‎ 7,511 bytes +73‎ →‎Extra Features of ProB

curprev 08:4908:49, 24 January 2022‎ Michael Leuschel talk contribs‎ 7,438 bytes 0‎ →‎Atelier B Plugin
curprev 08:4808:48, 24 January 2022‎ Michael Leuschel talk contribs‎ 7,438 bytes +181‎ →‎ProB as Atelier B Prover

curprev 15:3215:32, 23 January 2022‎ Michael Leuschel talk contribs‎ 7,257 bytes +762‎ →‎Atelier B Plugin
curprev 15:1615:16, 23 January 2022‎ Michael Leuschel talk contribs‎ 6,495 bytes −26‎ No edit summary
curprev 15:1515:15, 23 January 2022‎ Michael Leuschel talk contribs‎ 6,521 bytes +780‎ →‎Atelier B Plugin

curprev 09:2309:23, 19 August 2021‎ Michael Leuschel talk contribs‎ 5,741 bytes +130‎ →‎Limitations

curprev 14:1414:14, 18 November 2020‎ Michael Leuschel talk contribs‎ 5,611 bytes +2‎ →‎Atelier B Plugin
curprev 14:1414:14, 18 November 2020‎ Michael Leuschel talk contribs‎ 5,609 bytes +203‎ →‎Atelier B Plugin
curprev 14:0214:02, 18 November 2020‎ Michael Leuschel talk contribs‎ 5,406 bytes +214‎ →‎Atelier B Plugin
curprev 14:0014:00, 18 November 2020‎ Michael Leuschel talk contribs‎ 5,192 bytes +271‎ →‎Atelier B Plugin

curprev 08:0508:05, 14 May 2020‎ Michael Leuschel talk contribs‎ 4,274 bytes +100‎ →‎Extra Features of ProB

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