B4Free

MaRDI QIDQ19143swMATHFDO

Official website http://www.b4free.com/index-en.php

Cited in

(9)

• Incremental parametric development of greedy algorithms
• Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm
• TopSpin
• Z2sal
• Spin-to-Grape
• SymmSpin
• RAVEN
• LusSy
• Efficient approximate verification of B and Z models via symmetry markers

This page was built for software: B4Free