I maintain that formal verification (particularly, symbolic model-checking with learned and verified sound state-space partitions), across a broad set of extremely realistic multiscale scientific…

Posters: davidad. davidad

4 likes recorded by the source corpus.