Title: Modern Formal Methods and Applications
Subjects: Formal methods (Computer science), Industrial applications, Logic design, System design