Termination proofs for systems code.

Byron Cook Andreas Podelski Andrey Rybalchenko

Published in: PLDI (2006)

Keyphrases

expert systems
management system
artificial intelligence
intelligent systems
knowledge based systems
building blocks
complex systems
database