Industrial use of formal methods formal verification

Industrial use of formal methods formal verification

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Boulanger, Jean-Louis (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	London ISTE 2012 Hoboken, NJ Wiley
Schlagworte:	Softwareentwicklung Programmverifikation Industriebetrieb Formale Methode
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formal methods industrial use from model to the code
Veröffentlicht: (2012)

Formal methods and software engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 ; proceedings
Veröffentlicht: (2013)

FME 2003 - formal methods International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 ; proceedings
Veröffentlicht: (2003)

FM 2006: Formal methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 ; proceedings
Veröffentlicht: (2006)

Leveraging applications of formal methods, verification and validation 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings
Veröffentlicht: (2018)

Leveraging applications of formal methods, verification and validation 8th international symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings
Veröffentlicht: (2018)

Leveraging applications of formal methods, verification and validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008 ; Proceedings
Veröffentlicht: (2008)

Leveraging applications of formal methods, verification and validation 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8 - 11, 2014 ; proceedings

High-Level verification methods and tools for verification of system-level designs
von: Kundu, Sudipta, et al.
Veröffentlicht: (2011)

Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers
Veröffentlicht: (2006)

FM 2005: Formal methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005 ; proceedings
Veröffentlicht: (2005)

Introducing software verification with Dafny language proving program correctness
von: Sitnikovski, Boro
Veröffentlicht: (2022)

FME '97: Industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997 ; proceedings
Veröffentlicht: (1997)

Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings
Veröffentlicht: (2013)

Theoretical aspects of computing – ICTAC 2017 14th international colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings
Veröffentlicht: (2017)

Theoretical aspects of computing - ICTAC 2013 10th international colloquium, Shanghai, China, September 4 - 6, 2013 ; proceedings
Veröffentlicht: (2013)

Theoretical aspects of computing - ICTAC 2013 11th international colloquium, Bucharest, Romania, September 17 - 19, 2014 ; proceedings
Veröffentlicht: (2014)

Teaching formal methods TFM 2009, Eindhoven, The Netherlands, November 2 - 6, 2009, second international conference ; proceedings
Veröffentlicht: (2009)

Industrial benefit of formal methods proceedings
Veröffentlicht: (1994)

Formal methods for industrial critical systems 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings
Veröffentlicht: (2009)

Formal methods and software engineering 20th international conference on formal engineering methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings
Veröffentlicht: (2018)

FME '96: Industrial benefit and advances in formal methods third International Symposium of Formal Methods Europe, co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 ; proceedings
Veröffentlicht: (1996)

The correctness-by-construction approach to programming
von: Kourie, Derrick
Veröffentlicht: (2012)

Formal methods: applications and technology 11th International Workshop, FMICS 2006, and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers
Veröffentlicht: (2007)

Refinements in HOLCF implementation of interactive systems
von: Slotosch, Oscar
Veröffentlicht: (1997)

Theoretical aspects of computing - ICTAC 2010 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 ; proceedings
Veröffentlicht: (2010)

Formal methods for industrial critical systems 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers
Veröffentlicht: (2009)

Formal methods for components and objects
Veröffentlicht: (2005)

Formal aspects of component software 8th international symposium, FACS 2011, Oslo, Norway, September 14 - 16, 2011 ; revised selected papers
Veröffentlicht: (2012)

Formal aspects of component software 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers
Veröffentlicht: (2013)

The connection between applicative and procedural languages in an integrated software development and verification system
von: Olthoff, Walter
Veröffentlicht: (1987)

Formal methods for components and objects
Veröffentlicht: (2005)

Formal methods for software architectures third International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; advanced lectures
Veröffentlicht: (2003)

Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 ; revised selected papers
Veröffentlicht: (2008)

Formal methods 21st international symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings
Veröffentlicht: (2016)

Special issue on formal methods for components and objects pragmatic aspects and applications
Veröffentlicht: (2005)

Leveraging applications of formal methods, verification and validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021 : proceedings
Veröffentlicht: (2021)

Formal methods for components and objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 ; revised lectures
Veröffentlicht: (2007)

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, revised papers
Veröffentlicht: (2008)

Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 ; revised selected papers
Veröffentlicht: (2008)