04 - 06 Sep 2020Ended

Working Formal Methods Symposium



09:00 AM - 06:00 PM
Not Verified

Official Links

Estimated Turnout

upto 100
Based on previous editions


04 - 06 Sep 2020


Not Available
Claim event to edit details

Working Formal Methods Symposium aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical .. Read more results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. Formal methods emphasize the use of mathematical techniques and rigour for developing software and hardware. They can be used to specify, verify, and analyse systems at any stage in their life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user effectively apply these methods/frameworks.

  • Share your Experience
  • Organizer
Logo Follow Company

Babes Bolyai University

Romania 21 Total Events / 3 Upcoming Events

More Events From The Organizer