Languages
Strichman, Ofer.
Overview
Works: | 2 works in 2 publications in 1 languages |
---|
Titles
Decision Procedures = An Algorithmic Point of View /
by:
Strichman, Ofer.; SpringerLink (Online service); Kroening, Daniel.
(Language materials, printed)
Hardware and software = verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings /
by:
International Haifa Verification Conference (2017 :); Strichman, Ofer.; Tzoref-Brill, Rachel.; SpringerLink (Online service)
(Electronic resources)
Decision procedures = an algorithmic point of view /
by:
Kroening, Daniel.; Strichman, Ofer.; SpringerLink (Online service)
(Electronic resources)
Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
Strichman, Ofer.; Szeider, Stefan.; SpringerLink (Online service); SAT 2010 ((2010 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Propositional calculus
Computational complexity.
Logics and Meanings of Programs.
Mathematics of Computing.
Logic, Symbolic and mathematical.
Software Engineering/Programming and Operating Systems.
Software architecture
Artificial Intelligence (incl. Robotics)
Algebra, Boolean
Computer algorithms- Congresses.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Decision making- Congresses.
Decision making- Mathematical models.
Algorithms.
Programming Languages, Compilers, Interpreters.
Optimization.
Computer Science.
Computer software- Verification
Computer Communication Networks.
Turing machines.
Computer programs- Verification