Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II - Fisman, Dana; Rosu, Grigore (Springer Nature, 2022)
Keywords: Algorithms and data structures; Artificial intelligence; Coding theory and cryptology; Computer networking and communications; Computer programming / software engineering; Computer science; Computing and Information Technology; embedded systems; formal languages and automata theory; Formal methods and theory of security; Machine learning; Modeling and simulation; Reference, Information and Interdisciplinary subjects; Research and information: general; Semantics and reasoning; software and hardware verification; Software Engineering; specification and verification techniques; static and dynamic program analysis; Symbolic and algebraic manipulation; system construction and transformation techniques