Opened 10 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.

Change History (0)

Note: See TracTickets for help on using tickets.