Diskussion:Formale Methode
warum hast du meien Änderung gelöscht? --145.253.2.232 10:22, 24. Dez 2005 (CET)
- Ich habe Deinen Beitrag zwar nicht geloescht, aber der Beitrag war so praktisch wertlos. Du solltest die Gleichung erlautern. Ganz nebenbei ist sicherlich auch eine Erwaehnung der Quelle sinnvoll, da bei der Gleichung die Vollstaendigkeit angezweifelt werden darf. Gruss -- sparti 11:34, 24. Dez 2005 (CET)
Weblink entfernt[Quelltext bearbeiten]
Der Weblink ist ins Leere gelaufen. Ich habe ihn entfernt. Gruesse, sven --84.158.124.174 15:00, 5. Mär. 2009 (CET)
- Danke. Aber Beiträge bitte immer signieren. PS: Hilfreich kann auch die Internet Archive sein, falls ein Link nicht mehr geht (https://web.archive.org/web/20080723172731/http://vl.fmnet.info/). --185.159.157.9 18:55, 23. Nov. 2017 (CET)
Relevanz[Quelltext bearbeiten]
Ich glaube, formale Methoden erleben gerade einen Aufschwung, z.B. wird statische Programmanalyse zum Beispiel bei Airbus und Microsoft verwendet. Microsoft selbst unterhält bei Microsoft Research einige Forschungsgruppen, die sich mit formalen Methoden beschäftigen und z.B. Treiber werden regelmäßig mit formalen Methoden überprüft [2,3]. Amazon setzt im Bereich von Web Services auch auf formale Methoden [4]. Auch Google zeigt daran Interesse [5]. Es gibt eine Konferenz (https://www.floc2018.org/formal-methods-in-industry/) die sich nur mit diesem Thema beschäftigt.
[1] Rajeev Alur, Thomas A. Henzinger, and Moshe Y. Vardi. 2015. Theory in practice for system design and verification. ACM SIGLOG News 2, 1 (January 2015), 46-51. DOI: https://doi-org.eaccess.ub.tum.de/10.1145/2728816.2728827
[2] https://www.microsoft.com/en-us/research/project/slam/
[3] Thomas Ball, Vladimir Levin, and Sriram K. Rajamani. 2011. A decade of software model checking with SLAM. Commun. ACM 54, 7 (July 2011), 68-76. DOI: https://doi.org/10.1145/1965724.1965743
[4] Cook B. (2018) Formal Reasoning About the Security of Amazon Web Services. In: Chockler H., Weissenbacher G. (eds) Computer Aided Verification. CAV 2018. Lecture Notes in Computer Science, vol 10981. Springer, Cham