A man wearing a grey sweater and white shirt, holding and working on a laptop, stands in the corridor of a server room. He's looking to his side amidst rows of servers and cables, illuminated by cool-toned lighting. The setting emphasizes the critical importance of cybersecurity in today's CMMC-compliant environments.

NIST Researchers Explain Software that Finds Inconsistencies in System Behavior Design

At the Frontiers in Design Representation Summer School at the University of Maryland, Raphael Barbau and Conrad Bock from NIST were invited to present software that helps identify discrepancies in system behavior designs.

Skip to content