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