Communications of the ACMOpinion

Artificial Intelligence for Software Engineering: From Probable to Provable

Combining the creativity of artificial intelligence with the rigor of formal specification methods and the power of formal ...