Automated Formal Methods Enter the Mainstream

John Rushby

Communications of the Computer Society of India, Vol. 31, No. 2, May 2007, pp. 28-32. Formal Methods Special Theme Issue.

The full collection of papers in the Theme Issue is available here

CSI lacks an archival web site, so the collection of papers is also available as Volume 15, Issue 5, of the Journal of Universal Computer Science


Short paper, no abstract. It's a description for nonspecialists of the current state of the art in formal methods.


gzipped postscript, or plain postscript or PDF or crude ascii (for your Palm Pilot)

BibTeX Entry

	AUTHOR = {John Rushby},
	TITLE = {Automated Formal Methods Enter the Mainstream},
	JOURNAL = {Communications of the Computer Society of India},
	YEAR = 2007,
	VOLUME = 31,
	NUMBER = 2,
	PAGES = {28--32},
	MONTH = may,
	NOTE = {Special Theme Issue on Formal Methods edited by Richard Banach.
                Archived in Journal of Universal Computer Science Vol.\ 13, No.\ 5, pp.\ 650--660, 
	   available at \url{}}

Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page