This group is for those who believe that only formal modelling, verification and generation of software can solve the problem of making reliable software in a manageable and cost-effective way.
By registering to be a member of the Software Development with Formal Methods group, you consent to have your name and your email address be accessible by the official representative of the Software Development with Formal Methods group, and to be identified as a Software Development with Formal Methods group member in your profile and the LinkedIn search results. If you do not wish to give such consent, please do not register.
Not a user? You may have been sent a link that is only for our users. Joining LinkedIn takes just a moment.
