From e171a8d47a59a70f5e0904c54f0819485aaa36b0 Mon Sep 17 00:00:00 2001 From: Antonio Iannopollo Date: Wed, 5 Nov 2014 11:28:35 -0800 Subject: [PATCH] fixed readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 618d8e3..8eae597 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,7 @@ The LTL properties are: 4. `[]( (state == HOLD) -> ((x != DISABLE) && (x != RESUME) )) -> <>(state == STANDBY) ` To compile and verify the model you can use 'ispin' (SPIN graphical environment), -or, using the command line, with: +or, using the command line: - `spin -a cruise.pml` - `gcc -o pan pan.c`