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
Coordonnateurs : Biere Armin, Bloem Roderick
Date de parution : 08-2014
Ouvrage de 877 p.
15.5x23.5 cm
Thèmes de Computer Aided Verification :
Mots-clés :
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