Skip to main content

MetaHistoryBook Browse Today Discover Create

Language

Loading…

Sun & Rain Works

Est. 2005 · Eugene, OR

formal methods — MetaHistoryBook

formal methods

mathematical program specification intended to allow correctness proofs, including algorithmically

Wikipedia ↗Images on Commons ↗Wikidata (Q1049183) ↗

Details

Subclass of: method
Based on: mathematics, logic
topic's main category: Category:Formal methods

Nothing in the MetaHistoryBook collection references this item yet.

Connected on Wikidata

Subject of

Towards Verified Systems
Applications of Formal Methods
Provably Correct Systems
International Conference on Software Engineering and Formal Methods
ProCoS
Provably Correct Systems: Community, Connections, and Citations
Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011
Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009
2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018
Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004

Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002