3 ms·
They didn't provide a model checker to accompany the contracts the library provides. No integration with Java Pathfinder or JBMC? It's really weird how much t
by imtringued 2y ago
They didn't provide a model checker to accompany the contracts the library provides.
No integration with Java Pathfinder or JBMC?
It's really weird how much they missed the ball.
https://en.wikipedia.org/wiki/Java_Pathfinder https://en.wikipedia.org/wiki/Java_Pathfinder
https://www.cprover.org/jbmc/ https://www.cprover.org/jbmc/