Commit 7a846124 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

Typos in doc

parent e40f945a
......@@ -421,9 +421,9 @@ check_ctl(Query) :-
NuSMV model-checker.
As is usual in Model-Checking, the query is evaluated for all possible
initial states (\texttt{Ai} in Biocham v3).
initial states (\\texttt{Ai} in Biocham v3).
Note that a specific state variable \texttt{_valid} can be used to check
Note that a specific state variable \\texttt{_valid} can be used to check
that a state does not come from the application of a spurious
self-transition issued from our imperfect asynchronous to synchronous
translation.
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment