Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
Cover Image
Read Now

1
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... by Abstract Interpretation -- Automatic Verification of Finite Precision Implementations of Linear Controllers...”
Cover Image
Read Now

2
Published 2017
Springer Berlin Heidelberg
Table of Contents: “...On Optimization Modulo Theories, MaxSMT and Sorting Networks. - The automatic detection of token...”
Cover Image
Read Now

3
Published 2019
Springer International Publishing
Table of Contents: “... Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph -- Extracting Safe Thread...”