Title: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
Subjects: Software engineering, Artificial intelligence, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Programming Languages, Compilers, Interpreters, Operating systems (Computers), Operating Systems, Artificial Intelligence (incl. Robotics), Formal methods (Computer science), Congresses, Computer software, Verification, Validation