update README: models

scott-cotton · scott-cotton · commit d2eb5e0bcde0 · 2021-08-22T02:39:27.000+02:00
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# Reach -- A Finite State Reachability Tool
+# ⊧Reach -- A Finite State Reachability Tool
 
 Reach is a symbolic finite state reachability checker.  One could also say that
 Reach is a safety model checker.

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# Reach -- A Finite State Reachability Tool`
	`1`	`+# ⊧Reach -- A Finite State Reachability Tool`
`2`	`2`
`3`	`3`	`Reach is a symbolic finite state reachability checker. One could also say that`
`4`	`4`	`Reach is a safety model checker.`