Home
Web Interface
Download
About
You can choose one of our examples
Small examples
SDA tool examples
Medium examples
Case studies
1- Await chain
2- Dead 1
3- Dead 2
4- Virtual Call Dead 1
5-Virtual Call Dead 2
6-Dead Await Chain
7- Paper Example
8- Sync Calls 1
9-Sycn Calls 2
10- Task Fresh
11- Lists
12-Future Fields
13-Await Cond
14-False Dead 1
15-False Dead 2
16- False Dead 3
17-False Dead Await 1
18-False Dead Await 2
19-False Await Chain
20- Virtual Call False Dead
21- Tut. ECOOP No Deadlock
22- Tut. ECOOP Deadlock
1-Analyz Union
2-9
3-b1
4-b2
5-b3
6-b
7-Correct Termination
8-d
9-Deadlock
10-e
11-FND
12-g
13-Infinit
14-InfinitBis
15-Livelock
16-Mutual Lock Corretto
17-Sat
18-Scheduler Choice
19-Scheduler ChoiceBis
1-MultiPingPong
2-Bookshop
3-Leader Election
4-PeerToPeer
5-PingPong
6-BoundedBuffer
1-Replication System
2-Adapted replication system
3-Trading System
Or create your own
Analysis options
Verbosity
0
1
2 Pointsto precision
1
2
3
4
5
