Repository Index

The P programming language.

• asynchronous
• programming-language
• systematic-testing
• event-driven

My own notes (drafts mostly) about software quality

• ebooks
• quality-assurance
• software-testing
• courses

Concuerror is a stateless model checking tool for Erlang programs.

• concuerror
• erlang
• systematic-testing
• testing