Di Indonesia, metode ini yang belum banyak di jamah dalam kajian penelitian dan pengembangan Software. Berikut link-link menarik jika dan tertarik dengan metode ini:
1. Formal specification research di NUS
2. Formal Methos Group di TU Eindhoven
3. Tools, misal:
- Alloy Analyzer di MIT (banyak studi kasusnya) , a simple structural modeling language based on first-order logic.
