Runtime Verification

Runtime Verification
Details
- OL Work ID
- OL16971243W
Subjects
Logic designComputer scienceSoftware engineeringComputer softwareComputer programsCongressesVerificationFormal methods (Computer science)TestingInformatiqueSystem design