Theory-Specific Reasoning about Loops with Arrays using Vampire

Acte de colloque

Chen Yuting, Laura Kovacs et Simon Robillard

Proceedings of the 3rd Vampire Workshop, Vol.EPiC volume

2016

Résumé

automated reasoning

program analysis

theorem proving

1 Consultations de la notice

Titre: Theory-Specific Reasoning about Loops with Arrays using Vampire
Créateurs - sans rôle: Chen Yuting - Department of Computer Science and Engineering (Chalmers)
Laura Kovacs - Software Technology (Chalmers)
Simon Robillard - Software Technology (Chalmers)
Détails de publication: Proceedings of the 3rd Vampire Workshop, Vol.EPiC volume
Identifiants: 99136215509311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Langue: English
Type de ressource: Conference proceeding