Description
Computer Aided Verification, 2014
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Theoretical Computer Science and General Issues Series
Coordinators: Biere Armin, Bloem Roderick
Language: EnglishSubjects for Computer Aided Verification:
Keywords
artificial intelligence; concurrency; formal languages and automata theory; formal methods; formal methods and theory of security; formal software verification; hardware verification and validation; logic; logic and verification; model checking; program reasoning; semantics and reasoning; software engineering; software functional properties; software verification and validation; solvers; theorem proving; verification by model checking
877 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>