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 developments, as well as information on VERTIC’s activities. Trust & Verify is published electronically and may be found on this website shortly after publication. 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, replaced the former VERTIC Research Reports. They are substantive ad hoc research reports on a variety of verification topics, written by VERTIC researchers or external authors.