Info about Astraver project of ISPRAS was added.

ligurio / practical-fm

A gently curated list of companies using verification formal methods in industry

495 stars 36 forks source link

Closed buzden closed 5 years ago

buzden commented 5 years ago

Information about usage of deductive verification tools in ISPRAS was added.

ligurio commented 5 years ago

Thanks! :)