Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Verification: Improve performance of model checking #12

Open
stklik opened this issue Apr 23, 2019 · 0 comments
Open

Verification: Improve performance of model checking #12

stklik opened this issue Apr 23, 2019 · 0 comments

Comments

@stklik
Copy link
Member

stklik commented Apr 23, 2019 •
edited

The continuous model checking creates lots of formulas that are repeatedly calculated.
A cache can reduce the number of explorations through the statespace.

Also: call simplify from within the model checker, not just before.
@stklik stklik changed the title Add caching to TCTL verification Improve performance of TCTL verification Apr 23, 2019
@stklik stklik changed the title Improve performance of TCTL verification Verification: Improve performance of model checking Apr 23, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@stklik