Subscribe to receive notificatons with updates.
This wiki collects resources for anyone considering the use of software testing and formal methods.
There are many axes along which one can organize such a list, such as the level of expertise of the intended audience (from experts to the public at large) or disciplinary orientation (computer science, mathematics, mathematical logic, etc.). Here I have chosen to classify the material by type of subject matter.
If you would like add something, just send the text as you would like it to appear to [email protected], preferrably already formatted in markdown.
git clone https://github.com/ligurio/awesome-software-quality.wiki.git
To the extent possible under law, Sergey Bronnikov has waived all copyright and related or neighboring rights to this work.