Overview

One of the ways that KindSoftware promotes applied formal methods is by providing a forum in which authors can publish unreviewed whitepapers. Such papers have necessarily more time and effort put into them than a mailing list post. Topics range from summaries of formal methods to reviews of software products that can help contribute to quality.

Formal methods researchers: consider sending us a short paper summarizing your work.

Quality software practitioners: consider sending us a short paper reviewing a piece of software outside of the beaten path.

We can also suggest forums in which new researchers can publish peer-reviewed papers.

We also publish all talks that we give about applied formal methods.

We are still a very young repository of information, so you won't yet find volumes of information herein. Consider contributing and help change this situation!