CourseWare Wiki
Search
Log In
old
courses
a4m33au
term_en
Warning
This page is located in archive.
Differences
This shows you the differences between two versions of the page.
View differences:
Side by Side
Inline
Go
Link to this comparison view
Both sides previous revision
Previous revision
2014/04/17 00:54 vyskoji1 File moved, media files copied and media links repaired
2014/04/17 00:52 vyskoji1 File moved, media files copied and media links repaired
2014/04/17 00:46 vyskoji1 [Timed Automata Variant]
2014/04/01 21:12 jakubja5 [Technical Notes]
2014/04/01 21:11 jakubja5 [Technical Notes]
2014/04/01 21:10 jakubja5 [Technické poznámky]
2014/04/01 21:09 jakubja5 [Automated Reasoning Version]
2014/04/01 21:08 jakubja5 [Timed Automata Variant]
2014/04/01 21:02 jakubja5 [Varianta pomocí časových automatů]
2014/04/01 20:58 jakubja5 [Technical Notes]
2014/04/01 20:58 jakubja5 [Technické poznámky]
2014/04/01 20:53 jakubja5 [Automated Reasoning Version]
2014/04/01 16:56 jakubja5 [Railway Station Critical Situations]
2014/04/01 16:55 jakubja5 [Varianta automatické dokazování]
2014/04/01 16:51 jakubja5 [Data Formats]
2014/04/01 16:51 jakubja5 [Data Formats]
2014/04/01 16:49 jakubja5 [Data Formats]
2014/04/01 16:48 jakubja5 [Datové formáty]
2014/04/01 16:48 jakubja5 [Term Assignment - Railway Station]
2014/04/01 16:42 jakubja5 [Assignments]
2014/04/01 14:26 jakubja5 [Úkoly]
2014/04/01 14:22 jakubja5 [Railway Station Critical States]
2014/04/01 14:20 jakubja5 [Kritické stavy v nádraží]
2014/04/01 13:42 jakubja5 [Railway Station Properties]
2014/04/01 13:37 jakubja5
2014/04/01 13:23 jakubja5
2014/04/01 13:10 jakubja5
2014/04/01 13:05 jakubja5
2014/04/01 13:04 jakubja5
2014/04/01 13:03 jakubja5 created
Go
2014/04/17 00:54 vyskoji1 File moved, media files copied and media links repaired
2014/04/17 00:52 vyskoji1 File moved, media files copied and media links repaired
2014/04/17 00:46 vyskoji1 [Timed Automata Variant]
2014/04/01 21:12 jakubja5 [Technical Notes]
2014/04/01 21:11 jakubja5 [Technical Notes]
2014/04/01 21:10 jakubja5 [Technické poznámky]
2014/04/01 21:09 jakubja5 [Automated Reasoning Version]
2014/04/01 21:08 jakubja5 [Timed Automata Variant]
2014/04/01 21:02 jakubja5 [Varianta pomocí časových automatů]
2014/04/01 20:58 jakubja5 [Technical Notes]
2014/04/01 20:58 jakubja5 [Technické poznámky]
2014/04/01 20:53 jakubja5 [Automated Reasoning Version]
2014/04/01 16:56 jakubja5 [Railway Station Critical Situations]
2014/04/01 16:55 jakubja5 [Varianta automatické dokazování]
2014/04/01 16:51 jakubja5 [Data Formats]
2014/04/01 16:51 jakubja5 [Data Formats]
2014/04/01 16:49 jakubja5 [Data Formats]
2014/04/01 16:48 jakubja5 [Datové formáty]
2014/04/01 16:48 jakubja5 [Term Assignment - Railway Station]
2014/04/01 16:42 jakubja5 [Assignments]
2014/04/01 14:26 jakubja5 [Úkoly]
2014/04/01 14:22 jakubja5 [Railway Station Critical States]
2014/04/01 14:20 jakubja5 [Kritické stavy v nádraží]
2014/04/01 13:42 jakubja5 [Railway Station Properties]
2014/04/01 13:37 jakubja5
2014/04/01 13:23 jakubja5
2014/04/01 13:10 jakubja5
2014/04/01 13:05 jakubja5
2014/04/01 13:04 jakubja5
2014/04/01 13:03 jakubja5 created
Go
Next revision
Both sides next revision
courses:a4m33au:term_en [2014/04/01 21:10]
jakubja5
[Technické poznámky]
courses:a4m33au:term_en [2014/04/01 21:11]
jakubja5
[Technical Notes]
Line 97:
Line 97:
==== Technical Notes ====
==== Technical Notes ====
- The output of your program should be in XML format acceptable by the UPPALL system and the output of the UPPALL system which proves required properties.
- The output of your program should be in XML format acceptable by the UPPALL system and the output of the UPPALL system which proves required properties.
-
-
+
-
Your program must be executable in a computer lab without additional SW. Otherwise you will need to present your solution on your computer.
courses/a4m33au/term_en.txt
· Last modified: 2014/04/17 00:54 by
vyskoji1