Correctness Is Not Optional
Using RV-Predict to track down race conditions
By Dwight GuthJuly 2nd, 2015
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
"restrict" keyword in header files
By Dwight GuthMay 20th, 2015
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Undefined C: Common mistakes
By Dwight GuthApril 10th, 2015
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
