Posts by Philip Daian
RV Inc. & FSL @ UIUC Release First Formal Viper Tools
By Philip DaianDecember 14th, 2017
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
RV Inc. & FSL @ UIUC to Formalize Ethereum's Viper
By Philip DaianOctober 19th, 2017
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
RV Inc. to Give Tutorial at Runtime Verification ’16 Conference
By Philip DaianMay 25th, 2016
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
