Kroening, Daniel.

Overview

Works:	1 works in 3 publications in 1 languages

Titles

Decision Procedures = An Algorithmic Point of View / by: SpringerLink (Online service); Kroening, Daniel.; Strichman, Ofer. (Language materials, printed)

Validation of Evolving Software by: Kroening, Daniel.; SpringerLink (Online service); Sharygina, Natasha.; Mariani, Leonardo.; Chockler, Hana. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Decision Procedures = An Algorithmic Point of View / by: SpringerLink (Online service); Kroening, Daniel.; Strichman, Ofer. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / by: Kroening, Daniel.; SpringerLink (Online service); Păsăreanu, Corina S. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Decision procedures = an algorithmic point of view / by: Strichman, Ofer.; Kroening, Daniel.; SpringerLink (Online service) (Language materials, printed)

Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / by: Păsăreanu, Corina S.; Kroening, Daniel.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part II / by: Pasareanu, Corina S.; Workshop on the Preservation of Stability under Discretization ((2001 :); 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: Workshop on the Preservation of Stability under Discretization ((2001 :); Pasareanu, Corina S.; Kroening, Daniel.; SpringerLink (Online service) (Language materials, printed)

Subjects

Software Engineering. Mathematical logic. Computer organization. Software Engineering/Programming and Operating Systems. Computer logic. Turing machines. Decision making Software engineering. Mathematical optimization. Theory of Computation. Computers. Computer Science. Computer Systems Organization and Communication Networks. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Algorithms. Computer software Artificial Intelligence (incl. Robotics) Optimization. Computational complexity. Logic, Symbolic and mathematical.