Fix trustworthy systems's group link

ligurio / practical-fm

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

495 stars 36 forks source link

Open math2001 opened 9 months ago