Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Software engineering Robots, programming Machine learning Artificial Intelligence (incl. Robotics) Computer science Logic design Artificial intelligence Programming Languages, Compilers, Interpreters Computation by Abstract Devices Mathematical Logic and Formal Languages