Formal Methods in Computing

This collection encompasses research and discussions on formal methods in computing, focusing on their application in software engineering, safety verification, and the formalization of programming languages such as WS-BPEL 2.0. Topics include the verification of controller safety in autonomous systems, vulnerability prediction in open-source software, and the exploration of formal methods' roles and misconceptions. The documents highlight innovations, frameworks, and strategies aimed at enhancing reliability and usability in software development.