Publication year: 2019
ISBN: 978-3-030-17462-0
Internet Resource: Please Login to download book
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.
Subject: Computer Science, artificial intelligence, debugging, formal logic, formal methods, model checking, parallel processing systems, program debugging, programming languages, satisfiability, semantics, software engineering, software evaluation, specifications, verification, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Software Engineering, Programming and Operating Systems, System Performance and Evaluation, The Computing Profession