This project is designed to build upon a design and verification methodology called Xtreme Formal Methods. This methodology uses similar practices taken from XP and applies them to the design and verification process. Along with this methodology, a plugi

Project Activity

See All Activity >

Follow XFM

XFM Web Site

You Might Also Like
The #1 Embedded Analytics Solution for SaaS Teams. Icon
The #1 Embedded Analytics Solution for SaaS Teams.

Qrvey saves engineering teams time and money with a turnkey multi-tenant solution connecting your data warehouse to your SaaS application.

Qrvey’s comprehensive embedded analytics software enables you to design more customizable analytics experiences for your end users.
Try Developer Playground
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of XFM!

Additional Project Details

Registered

2006-02-02
Report inappropriate content