Differences

This shows you the differences between two versions of the page.

--- courses:a4m33au:term_en [2014/04/01 21:09]
jakubja5 [Automated Reasoning Version]
+++ courses:a4m33au:term_en [2014/04/17 00:46]
vyskoji1 [Timed Automata Variant]
@@ Line 78: / Line 78: @@
   - The output of your program will be //commented// files in the TPTP language together with the output of a selected theorem prover or a model checker.
   - Use heavily the TPTP directive [[http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html#include|include]] to keep TPTP files readable and without duplicity.
-  - You program must be executable in a computer lab without additional SW (except the theorem prover or model checker).
+  - Your program must be executable in a computer lab without additional SW (except the theorem prover or model checker). Otherwise you will need to present your solution on your computer.
-===== Timed Automata Variant =====
+===== Timed Automata Version =====
 A railway station can be modeled both in discrete or in continues time. The control system determines the state of switches and signaling devices at every time moment.
@@ Line 95: / Line 95: @@
-==== Technické poznámky ====
+==== Technical Notes ====
-  - Výstup programu budou soubory ve formátu XML pro zpracovaní systémem UPPALL a UPPALLem zpracované výsledky dotazů dokazující požadované vlastnosti řešení.
+  - 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.
-  - Řešení by mělo být spustitelné v počítačové laboratoři bez instalace dodatečného SW. V opačném případě budete muset svoje řešení předvést na vlastním počítači.
+  - Your program must be executable in a computer lab without additional SW. Otherwise you will need to present your solution on your computer.