(
).
PL/Formal methods twitter: what are some examples of academic ideas from PL/FM from the last 25 years that have had demonstrable real-world impact? To start the list: 1) SAT-based model checking, applied to hardware.
-
Could you point me to a specific standard that requires the use of FM tools?
Yes, the "Golden boy" safety standard, IEC 61508. You'd have to purchase it though, as most IEC/ISO standards are not public. I talk about this in my talk here: https://www.youtube.com/watch?v=uqan23518Yc … if you're interested in hearing some specifics within the nuclear industry.
-
-
Thanks!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Awesome thanks for sharing. Was wondering how formal methods is regulated.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Č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.