Theory-Specific Reasoning about Loops with Arrays using Vampire
Paper in proceedings, 2016

automated reasoning

theorem proving

program analysis

Author

Chen Yuting

Chalmers, Computer Science and Engineering (Chalmers)

Laura Kovacs

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Simon Robillard

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Proceedings of the 3rd Vampire Workshop

Vol. EPiC volume

Areas of Advance

Information and Communication Technology

Subject Categories

Computer Science

More information

Created

10/8/2017