The path to robustness, reliability, and safety has to be complemented by verification methods that can scale proportionally to

23 Oct 2022, 00:58
The path to robustness, reliability, and safety has to be complemented by verification methods that can scale proportionally to complexity. Pioneered at NASA, Runtime Verificationā€™s tools will find new and impactful ways to engage with our ecosystem at X Day Paris. šŸŽŸ RT: