Languages
Chockler, Hana.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Computer aided verification = 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.. Part II /
by:
CAV (Conference) (2018 :); Chockler, Hana.; Weissenbacher, Georg.; SpringerLink (Online service); Federated Logic Conference ((2018 :)
(Electronic resources)
Computer aided verification = 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.. Part I /
by:
CAV (Conference) (2018 :); Chockler, Hana.; Weissenbacher, Georg.; SpringerLink (Online service); Federated Logic Conference ((2018 :)
(Electronic resources)
Hardware and software : verification and testing = 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
by:
Chockler, Hana.; Hu, Alan J.; SpringerLink (Online service); International Haifa Verification Conference (2008 :)
(Language materials, printed)
Validation of evolving software
by:
Chockler, Hana.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Software architecture
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer software- Validation.
Computer Science.
Computer software- Verification
Simulation and Modeling.
Computer programs- Verification