Olivier Coudert on October 30th, 2012

Last week I was invited in Cambridge, UK, to participate to a panel at the FMCAD conference (Formal Methods in Computer-Aided Design). The subject: “Model Checking in the Cloud”.  With another four people, we discussed the questions laid out by the panel moderator: How can model checking leverage the advantages of distributed and multi-core systems […]

Continue reading about Model Checking in the Cloud