(
).
I am no FM academic but I am really looking forward to watching this!
My @srecon keynote is now up! It's a primer on how formal verification and static analysis techniques are applied in safety-critical systems. It's an industry perspective, with industry tools for all the FM academics who may be interested!https://www.youtube.com/watch?v=GIYtzygBgA4&feature=youtu.be …
-
-
-
You are more than I am anyhow ;). I hope you like it!
Kraj razgovora
Novi razgovor -
-
-
Super duper pumped to watch this!
-
It has overlaps with my PWL talk, but covers when and how we choose the types of bugs and FM techniques we use.
Kraj razgovora
Novi razgovor -
-
-
thanks for the talk! trying to understand you main take on FM tools. is it correct that you're saying: if you want to do "off the shelf" FV (e.g. checking index out of bounds) there are industrial tools but only academic tools for specification driven FV?
-
Yup! Except for Astree!
Kraj razgovora
Novi razgovor -
-
-
Great talk but ouch to be thrown into the research category. ;-)
-
Researchers aren't bad! But TLA+ is difficult to categorize anyhow ;)
Kraj razgovora
Novi razgovor -
-
-
Well done. We need to get FM into the mainstream. Can’t wait to watch this.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Great talk, but I'm not sure there's a difference in "researchiness" between Astree and TLA+. Both were developed by leading researchers, and both were intended as industry, not research, tools aimed for use by practitioners.
-
Also, in the industrial sound static analysis space there's Trust-In-Soft, developed by the developers of Frama-C (another industry tool developed by researchers). Relatively new, so not as well known, perhaps.
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.