Differences

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

--- courses:a4m33au:term_en [2014/04/01 21:11]
jakubja5 [Technical Notes]
+++ courses:a4m33au:term_en [2014/04/17 00:52]
vyskoji1 File moved, media files copied and media links repaired
@@ 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.