From 363291a849702e383ddbe844ad718d8a524818ed Mon Sep 17 00:00:00 2001 From: Matthias Endler Date: Sat, 9 Jun 2018 10:28:18 +0200 Subject: [PATCH] Fix typo --- jbmc/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jbmc/README.md b/jbmc/README.md index db3d8182657..74b65dd3d2a 100644 --- a/jbmc/README.md +++ b/jbmc/README.md @@ -4,7 +4,7 @@ About ===== JBMC is a Bounded Model Checker for Java programs. It supports -checking for runtime exceptions and user-definde assertions. +checking for runtime exceptions and user-defined assertions. The verification is performed by unwinding the loops in the program and passing the resulting equation to a decision procedure.