Opened 20 months ago
#122 new feature
Verify properties described using LTL formulas
| Reported by: | xyz2k8 | Owned by: | mornfall |
|---|---|---|---|
| Priority: | major | Milestone: | 4.4 |
| Component: | other | Keywords: | LTL |
| Cc: |
Description
The divine version I am using is version 4.4.3. In this version, how to verify the properties described using the LTL formula, can you provide an example? The examples in the documentation are outdated.
Note: See
TracTickets for help on using
tickets.