A new article is available on the Systerel blog! “Multi-Agent Smart Solver”
Systerel introduces the latest member in Systerel Smart Solver family: Multi-Agent Smart Solver (MASS). MASS significantly reduces proof wall clock time on safety properties for complex and critical systems such as interlocking stations or or wayside CBTC.
Find the article on the Systerel blog here
Do not hesitate to share your opinion or remarks with us. Enjoy reading!