joshua/bisimulation-online
1
Fork 0
Code Activity

this -> This

Browse source
This commit is contained in:
Joshua Moerman 2020-03-31 16:08:02 +02:00
parent 85511a5d61
commit a571ad8724
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
index.html
View file

@ -83,7 +83,7 @@
Instead, it will return a counterexample, which can be used to resolve the bug. Instead, it will return a counterexample, which can be used to resolve the bug.
<p>Bisimulations are also used to minimise your state-based systems. <p>Bisimulations are also used to minimise your state-based systems.
this enables model-checkers to prove correctness in terms of temporal logics. This enables model-checkers to prove correctness in terms of temporal logics.
</div> </div>
<div> <div>