Julia Rubin is analysing and testing code running on mobile devices at #facetavpic.twitter.com/hrjy66fn83
Prikaži ovu nit
Stephen Magill from @galois is talking about effective tech transfer from academia to industry at #facetavpic.twitter.com/RTKwoaeL0o
-
-
Marta Kwiatkowska is explaining how probabilistic safety guarantees (e.g. “the probability of the airbag failing to deploy within 0.02s is less than 0.001”) can be model-checked.
#facetavpic.twitter.com/hAKHYstAN0
Prikaži ovu nit -
Next up,
@AndreasZeller is presenting a fast and powerful fuzzer at#facetavpic.twitter.com/W6zDaTnyrH
Prikaži ovu nit
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.