Jip J. Dekker
|
e266878d98
|
Spelling errors
|
2014-02-04 22:45:57 +01:00 |
|
Jip J. Dekker
|
535a33944c
|
Merge branch 'master' of github.com:Recondor/TCP-setup-uppaal
|
2014-02-04 22:44:00 +01:00 |
|
Jip J. Dekker
|
45f145eda6
|
Some last changes
|
2014-02-04 22:42:50 +01:00 |
|
Ben Brücker
|
ca93181c46
|
And another better screenshot
|
2014-02-04 21:56:06 +01:00 |
|
Ben Brücker
|
7e66b15161
|
Better screenshot
|
2014-02-04 21:48:46 +01:00 |
|
Ben Brücker
|
2d7eef99f2
|
Bit cleaner without contractions
|
2014-02-04 21:24:08 +01:00 |
|
Ben Brücker
|
2e4b27b54a
|
Some corrections in the english
|
2014-02-04 21:21:16 +01:00 |
|
Ben Brücker
|
7a296fb732
|
Bit more conclusion
|
2014-02-04 21:02:15 +01:00 |
|
Ben Brücker
|
f98d9043d6
|
Added screenshot and text for simul connect
(Better screenshot will follow)
|
2014-02-04 20:57:58 +01:00 |
|
Ben Brücker
|
16819e7302
|
Simultaneous connect, and issues described
|
2014-02-04 13:34:58 +01:00 |
|
Jip J. Dekker
|
96383d72d7
|
Added proof of the non simultanious connect
|
2014-02-04 10:23:57 +01:00 |
|
Jip J. Dekker
|
a63ec36c83
|
Added the verifier picture
|
2014-02-03 22:46:21 +01:00 |
|
Jip J. Dekker
|
dcf1d08e0c
|
Added Abstract
|
2014-02-03 22:45:58 +01:00 |
|
Jip J. Dekker
|
450dc4ffb1
|
Basic Query verification things.
|
2014-02-03 22:35:44 +01:00 |
|
Ben Brücker
|
22e7cee860
|
My section of the report is now reasonably complete
|
2014-02-02 14:52:22 +01:00 |
|
Ben Brücker
|
5bcf2ebaf9
|
Changed the screenshots a little
|
2014-02-02 14:51:43 +01:00 |
|
Ben Brücker
|
0d1cd6f24b
|
Changed the template
|
2014-01-31 17:56:26 +01:00 |
|
Jip J. Dekker
|
6600292b5b
|
Added an example and the sections of the report.
|
2014-01-23 12:15:21 +01:00 |
|
Ben Brücker
|
d61b2e840e
|
Initial commit of the report
|
2014-01-23 12:02:27 +01:00 |
|
Jip Dekker
|
08c90f93cb
|
Added screenshots of the models.
|
2014-01-23 11:56:05 +01:00 |
|