Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2021.3124677
Abstract: Formal methods and supporting tools have a long record of success in the development of safety-critical systems. However, no single tool has emerged as the dominant solution for system design. Each tool differs from the… read more here.
Keywords: methods tools; formal methods; railway signaling; design ... See more keywords