|
Loss of keyword "all" in Alloy
|
|
8
|
379
|
December 5, 2021
|
|
What have i done
|
|
3
|
293
|
December 1, 2021
|
|
My new book published today
|
|
4
|
381
|
November 18, 2021
|
|
Echo algorithm in electrum
|
|
4
|
503
|
November 14, 2021
|
|
Translation Electrum to NuSMV
|
|
13
|
389
|
November 11, 2021
|
|
NuSMV in Alloy 6/Electrum
|
|
2
|
648
|
June 29, 2021
|
|
Keywords in Electrum
|
|
5
|
509
|
June 25, 2021
|
|
Base Communication model
|
|
4
|
307
|
June 25, 2021
|
|
Alloy 6, Electrum is merged on the master branch
|
|
9
|
1134
|
May 10, 2021
|
|
Graceful movement toward theorem proving?
|
|
0
|
315
|
March 1, 2021
|
|
GuessTheSpec #5
|
|
0
|
312
|
December 18, 2020
|
|
Fine-grained control over Skolemization
|
|
2
|
471
|
November 21, 2020
|
|
GuessTheSpec #4
|
|
0
|
382
|
October 27, 2020
|
|
GuessTheSpec #3
|
|
1
|
356
|
October 8, 2020
|
|
GuessTheSpec #2
|
|
3
|
345
|
October 6, 2020
|
|
Tip: parents vs sets of children
|
|
1
|
312
|
September 23, 2020
|
|
GuessTheSpec #1
|
|
1
|
306
|
September 21, 2020
|
|
Alloy time dependent initialisation
|
|
2
|
317
|
September 9, 2020
|
|
Tip: checking predicates are equivalent
|
|
0
|
285
|
August 26, 2020
|
|
Relational Operators and Quantified Expressions
|
|
1
|
239
|
August 26, 2020
|