Ecdar / j-Ecdar

A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
MIT License
4 stars 9 forks source link

Feat/cdd deferred compute #103

Open Brandhoej opened 1 year ago

Brandhoej commented 1 year ago

Second iteration on CDD with deferred computation which was previoslu done with "dirty" flags. In this new iteration a class encapsulating this dirty flag behaviour is created and used by CDD. The aim is to remove complex logic from CDD related to keeping the correct state.

Description