search

ligurio / practical-fm

A gently curated list of companies using verification formal methods in industry
495 stars 36 forks source link

Adding extra ressources #27

Open InfiniteLearner opened 2 years ago

InfiniteLearner commented 2 years ago

Hello,

Could you add other resources (if they exist) linked to formal methods, such as podcast, youtube video, online training...

Thank you