A series of conferences on computer aided verification dedicated to the formal analysis of hardware and software.
CAV - The International Conference on Computer Aided VerificationCAV - The International Conference on Computer Aided Verification
2024-06-10
Computers, Computer Science, Conferences - CAV - The International Conference on Computer Aided Verification. A series of conferences on computer aided verification dedicated to the formal analysis of hardware and software.