Languages
Kroening, Daniel.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part II /
by:
Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service)
(Electronic resources)
Verified software = theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers /
by:
Giannakopoulou, Dimitra.; Kroening, Daniel.; SpringerLink (Online service)
(Electronic resources)
Decision Procedures = An Algorithmic Point of View /
by:
Strichman, Ofer.; SpringerLink (Online service); Kroening, Daniel.
(Language materials, printed)
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part I /
by:
Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service)
(Electronic resources)
Decision procedures = an algorithmic point of view /
by:
Kroening, Daniel.; Strichman, Ofer.; 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- Quality control
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Decision making- Mathematical models.
Algorithms.
Optimization.
Computer Science.
Computer software- Verification
Computer Systems Organization and Communication Networks.
Turing machines.