MPG.eBooks - Search Results - formal languages and automatic theorem

Search alternatives:
automatic theorem » automated theorem , automata theory
languages » language

Cover Image

1

Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Published 2014

Springer International Publishing

Table of Contents: “... Randomized Search -- SMACK: Decoupling Source Language Details from Verifier Implementations -- Security...”