Update proofs for Route Aggregator and Assignment Tree Branch and Bound

afrl-rq / OpenUxAS

Project for multi-UAV cooperative decision making

Other

50 stars 24 forks source link

Update proofs for Route Aggregator and Assignment Tree Branch and Bound #41

Closed lhumphrey closed 2 years ago

lhumphrey commented 2 years ago

Changes to SPARK CE have resulted in slightly different properties proving vs. not proving. See test.out files for Route Aggregator and Assignment Tree Branch and Bound for changes.