1. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
4.6
N. Shimizu (chikoski@gmail.com / @chikoski)

2. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
• "
• "
"
3

3. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
• "
• 2 "
run : "
chek : "

4. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
• "
"
"
• "
"
3 "

5. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
•
"
•
"

6. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
abstract sig Object {}"
sig Directory extends Object {}"
sig File extends Object {}"
sig Alias extends File {}"
assert A { … }"
"
check A for 3 Directory, 3 Alias "

7. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
abstract sig Object {}"
sig Directory extends Object {}"
sig File extends Object {}"
sig Alias extends File {}"
assert A { … }"
"
check A for 3 Directory, 3 Alias "

8. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
check A for 5

9. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
check A for 5 but 3 Directory

10. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
sig Color {}"
one sig Red, Yellow, Blue extends Color {}

11. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
check A for 5 but 3 Directory

12. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
exactly :
check A for exactly 3 Directory, "
exactly 3 Alias, "
5 File

13. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
exactly :
check A for exactly 3 Directory, "
exactly 3 Alias, "
5 File

14. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
exactly :
check A for exactly 3 Directory, "
exactly 3 Alias, "
5 File

15. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22

16. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
"
10

17. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22

18. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22

19. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
"

20. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
"
check { all p, q : univ -> univ, s : set S |
(p.s).q = p.(s.q)}

21. N. Shimizu (chikoski@gmail.com / @chikoski) 2011/09/22
• "
"
run , check"
• "
3 "
for "