From: SeongJae Park <sj38.park@xxxxxxxxx>
The advance explanation of 'Special-Purpose State-Space Search' section
says it will introduce both ppcmem and cppmem, but the section
introduces ppcmem only. Fix the sentence.
Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/formal.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/formal.tex b/formal/formal.tex
index 895d2ba7..13dcf071 100644
--- a/formal/formal.tex
+++ b/formal/formal.tex
@@ -28,7 +28,7 @@ A number of such tools exist, for example,
\cref{sec:formal:State-Space Search} provides an
introduction to the general-purpose state-space search tools Promela and Spin,
\cref{sec:formal:Special-Purpose State-Space Search}
-similarly introduces the special-purpose ppcmem and cppmem tools,
+similarly introduces the special-purpose ppcmem tool,
\cref{sec:formal:Axiomatic Approaches}
looks at an example axiomatic approach,
\cref{sec:formal:SAT Solvers}
--
2.17.1
