Model Checking Websites

- verify-it.de

Homepage von M. Oliver Moeller

Not Applicable $ 8.95

- jorgenavas.github.io

Jorge A. Navas is a senior researcher at Certora. Before, he was a senior computer scientist in the Computer Science Lab (CSL) at SRI International, a research engineer in the Robust Software Engineering Group at NASA Ames Research Center, a senior research fellow at The University of Melbourne, and a research fellow a

Not Applicable $ 8.94