Languages
Kroening, Daniel.
Overview
Works: | 0 works in 4 publications in 1 languages |
---|
Titles
Decision proceduresan algorithmic point of view /
by:
Kroening, Daniel.; SpringerLink (Online service); Strichman, Ofer.
(Electronic resources)
Decision ProceduresAn Algorithmic Point of View /
by:
Kroening, Daniel.; SpringerLink (Online service); Strichman, Ofer.
(Electronic resources)
Verified softwaretheories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers /
by:
(1998 :); Giannakopoulou, Dimitra.; Kroening, Daniel.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
by:
(1998 :); Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
by:
(1998 :); Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Computational complexity.
Logics and Meanings of Programs.
Compilers (Computer programs)
Software Engineering/Programming and Operating Systems.
Logic, Symbolic and mathematical.
Artificial Intelligence (incl. Robotics)
Computer software
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Decision making
Algorithms.
Optimization.
Computer Science.
Computer Systems Organization and Communication Networks.
Turing machines.