4,733 followers
RT @FinkbeinerBernd: @krismicinski "Software reliability methods", by Doron Peled, is a good overview and comparison of formal methods, wit…
RT @FinkbeinerBernd: @krismicinski "Software reliability methods", by Doron Peled, is a good overview and comparison of formal methods, wit…
@krismicinski "Software reliability methods", by Doron Peled, is a good overview and comparison of formal methods, with each chapter devoted to one particular method. It's a book, not a paper, but definitely a great starting point for students. https://t.c