Over the past few decades, information systems have increasingly replaced human operators and processes, with technology assisting in everything from flying aircraft to regulating heartbeats. As the movement toward more autonomous systems continues, there is a growing need to ensure that these systems are safe and reliable before they are deployed – especially in fields where failure could be fatal.