# differential-formula
Incremental Formal Modeling Using Logic Programming and Analysis