search menu icon-carat-right cmu-wordmark

Blog Posts

Verifying Evolving Software

When we verify a software program, we increase our confidence in its trustworthiness. We can be confident that the program will behave as it should and meet the requirements it …

• By