Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

Is it possible to prove the correctness of Erlang programs?

April 26, 2017correctness Erlang possible Programs prove

0

10 Posted

Is it possible to prove the correctness of Erlang programs?

1 Answer

0

Posted

One of the touted advantages of functional programming languages is that it is easier to formally reason about programs and prove certain properties of a given program. There is an active research group looking at problems related to formal verification, they have a home page.