Skip to main content

Nine Papers to be presented at CAV, the leading Computer Aided Verification conference

Posted:

Members of the Computing Laboratory will have co-authored a total of 9 papers (out of 55 accepted papers) at the upcoming Conference on Computer Aided Verification, a premier event in formal verification.