From e3a018d2be604f8d2747c80a6b249f77027c1b20 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sat, 2 Mar 2019 19:48:10 +0000
Subject: [PATCH] README

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/README.md b/README.md
index e69de29..bc3207a 100644
--- a/README.md
+++ b/README.md
@@ -0,0 +1,5 @@
+
+TA Splitting for Reachability Testing
+=====================================
+
+Reachability testing in timed automata using pseudo-simulating abstract model generated on-the-fly and using zone splitting and DBMs