From 7538c4bfccdfade3e508757a59c9f0166ca4dbc1 Mon Sep 17 00:00:00 2001 From: Timothy Bourke Date: Wed, 10 May 2017 21:45:43 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 9a22a05..36c6b71 100644 --- a/README.md +++ b/README.md @@ -16,7 +16,7 @@ Descriptions of the testing construction can be found in: * The paper by Arcot Sowmya and me, to be presented at EMSOFT 2008. This paper presents several improvements to the original CSE technical report (UNSE-CSE-TR-0723). The testing construction cannot be performed on all timed automata, -specifically several modelling features are not supported: +specifically several modelling features are **not** supported: * non-deterministic automata (this assumption is not checked), * non-synchronizing (τ) transitions,