No advertising and no spam please. If you post advertising material anyway you are banned from the forum and your post is deleted almost immediately.
The forum is for discussing topics specifically related to logic model checking and software verification techniques, and primarily focused on the verification system Spin.