Worldlex Wiki En informatique , la Conférence internationale sur la vérification assistée par ordinateur ( CAV ) est une conférence académique annuelle sur la théorie et la pratique de l'analyse formelle assistée par ordinateur des systèmes logiciels et matériels , plus connues sous le nom de méthodes formelles . Parmi les résultats importants initialement publiés dans la CAV figurent des techniques de vérification de modèles , telles que le raffinement d'abstraction guidé par contre-exemple (CEGAR) et la réduction d'ordre partiel . Elle est souvent classée parmi les meilleures conférences en informatique.
Le premier CAV a eu lieu en 1989 à Grenoble , en France . Les actes du CAV (de 1989 à aujourd'hui) sont publiés par Springer Science+Business Media . Ils sont en accès libre depuis 2018.