Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
---
formal/regression.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/regression.tex b/formal/regression.tex
index 4e06cb7..4e8476d 100644
--- a/formal/regression.tex
+++ b/formal/regression.tex
@@ -584,6 +584,6 @@ Just because many of them are poor fit for regression testing does
not at all mean that they are useless, in fact,
many of them have proven their worth many times over.\footnote{
For but one example, Promela was used to verify the file system
- of none other than the Curiosty Rover.
+ of none other than the Curiosity Rover.
Was \emph{your} formal verification tool used on a Mars rover?}
Just not for regression testing.
--
2.10.0
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
