Computer Aided Verification
No description available.
Computer software, verificationComputer scienceComputer network architecturesSoftware engineeringLogic designLogics and Meanings of ProgramsSoftware Engineering/Programming and Operating SystemsMathematical Logic and Formal LanguagesComputer Systems Organization and Communication Networks