Code Craft
Published in IEEE Software • Mar 1, 2017
Authors:
Gerard J. Holzmann
Abstract
Errors in safety-critical software can have disastrous consequences. However, tools exist that developers can use to thoroughly analyze software subsystems for critical safety properties.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!