. . . "In computer science, the International Conference on Computer-Aided Verification (CAV) is an annual academic conference on the theory and practice of computer-aided formal analysis of software and hardware systems, broadly known as formal methods. It is one of the highest-ranked conferences in computer science. Among the important results originally published in CAV are breakthrough techniques in model checking, such as Counterexample-Guided Abstraction Refinement (CEGAR) and partial order reduction. The first CAV was held in 1989 in Grenoble, France. The CAV proceedings (1989-present) are published by Springer Science+Business Media and are open access."@en . . . "Computer Aided Verification"@fr . . . . . . . . . . . . . . . . . "1058640943"^^ . . . . . . . . . "In computer science, the International Conference on Computer-Aided Verification (CAV) is an annual academic conference on the theory and practice of computer-aided formal analysis of software and hardware systems, broadly known as formal methods. It is one of the highest-ranked conferences in computer science. Among the important results originally published in CAV are breakthrough techniques in model checking, such as Counterexample-Guided Abstraction Refinement (CEGAR) and partial order reduction."@en . . . "La conf\u00E9rence Computer Aided Verification (abr\u00E9g\u00E9 en CAV) est un congr\u00E8s scientifique annuel sur la th\u00E9orie et la pratique de l'analyse formelle assist\u00E9e par ordinateur de logiciels et mat\u00E9riels. C'est une des conf\u00E9rences les mieux class\u00E9es en informatique. Plusieurs articles historiques sur les techniques de v\u00E9rification de mod\u00E8les ont \u00E9t\u00E9 pr\u00E9sent\u00E9s \u00E0 CAV, tels que \u00AB Counterexample-Guided Abstraction Refinement \u00BB et des m\u00E9thodes de r\u00E9duction par ordre partiel comme \u00AB A Stubborn Attack On State Explosion \u00BB."@fr . . "6592539"^^ . . . . . . . . . "La conf\u00E9rence Computer Aided Verification (abr\u00E9g\u00E9 en CAV) est un congr\u00E8s scientifique annuel sur la th\u00E9orie et la pratique de l'analyse formelle assist\u00E9e par ordinateur de logiciels et mat\u00E9riels. C'est une des conf\u00E9rences les mieux class\u00E9es en informatique. Plusieurs articles historiques sur les techniques de v\u00E9rification de mod\u00E8les ont \u00E9t\u00E9 pr\u00E9sent\u00E9s \u00E0 CAV, tels que \u00AB Counterexample-Guided Abstraction Refinement \u00BB et des m\u00E9thodes de r\u00E9duction par ordre partiel comme \u00AB A Stubborn Attack On State Explosion \u00BB."@fr . "2891"^^ . . . . . . "Computer Aided Verification"@en . . . .