Serial Publications
Trust & Verify
Published quarterly
Click here for list of issues
Trust & Verify is VERTIC's flagship publication, going back to 1989. The newsletter provides analysis and news of verification and implementation developments, as well as information on VERTIC’s activities. Trust & Verify is published electronically on this website. It can also be received free of charge via email on request. To receive Trust & Verify by email, please enter your email address in the subscription request box on this page. We also welcome submissions to Trust & Verify; these should be sent to Larry MacFaul.
VERTIC Briefs
Published on an ad hoc basis
Click here for list of issues
This series, launched in 2003, replaced the former VERTIC Briefing Papers. VERTIC Briefs are published on an ad hoc basis, on subjects of immediate interest. They are often produced for, and distributed at, major international conferences.
Verification Matters
Published on an ad hoc basis
Click here for list of issues
This series, launched in 2001, revived the earlier Verification Matters series (1990-1997) and replaced its successor, the VERTIC Research Reports (1998-1999). They are substantive ad hoc research reports on a variety of verification topics, written by VERTIC researchers or external authors.