Ticket #70 (new task)
Opened 3 years ago
Integrate model checkers
| Reported by: | till | Owned by: | till |
|---|---|---|---|
| Priority: | normal | Milestone: | 1.0 |
| Component: | provers | Version: | 1.0 |
| Keywords: | Cc: |
Description
Use Maude as a model description language for modal logic; integrate Maude model cheker (connection with ModalCASL)
Also integrate other model checkers (SMV, SPIN)?
Translations between model description languages?
Run model checkers in parallel?
First complete ticket #69.
Note: See
TracTickets for help on using
tickets.
