13,825 followers
RT @CDT_PPar_Edin: You can read Thomas Wright's (and Ian Stark's) paper 'Property-Directed Verified Monitoring of Signal Temporal Logic' fr…
RT @CDT_PPar_Edin: You can read Thomas Wright's (and Ian Stark's) paper 'Property-Directed Verified Monitoring of Signal Temporal Logic' fr…
You can read Thomas Wright's (and Ian Stark's) paper 'Property-Directed Verified Monitoring of Signal Temporal Logic' from the International Conference on Runtime Verification here: https://t.co/l1xKxgZmjH