RecordFlux icon indicating copy to clipboard operation
RecordFlux copied to clipboard
verified publisher icon AdaCore

Parallelize model verification

Open treiher opened this issue 5 years ago • 0 comments

The verification of complex specifications is time-consuming. The model verification should be parallelized to reduce the required time.

treiher avatar Sep 22 '20 16:09 treiher