2 ms·
Formal methods for proving timeliness, correctness, etc. Preferably in tools that mechanically verify those properties.
by lallysingh 17y ago
Formal methods for proving timeliness, correctness, etc. Preferably in tools that mechanically verify those properties.