Book Details


Tools and Algorithms for the Construction and Analysis of Systems

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