Tools and Algorithms for the Construction and Analysis of Systems
Publication year: 2019
: 978-3-030-17465-1
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
: Computer Science, Logics and Meanings of Programs, Software Engineering, Mathematical Logic and Formal Languages, Programming and Operating Systems, Logic Design, Logic in AI, Algorithm Analysis and Problem Complexity, computer architecture, formal logic, machine-learning techniques, model checking, model-checking, network architecture, programming languages, SAT and SMT solving, semantics, software engineering, specifications, static and dynamic program analysis, synthesis and verification, temporal logic, theorem-proving
