id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ajis02-298	Droschl, Georg	A Case Study on the Application of PVS to Requirements Analysis	1999	12	.pdf	application/pdf	6346	469	65	Formal requirements specification for command and control systems. PVS is a tool for writing formal specifications and constructing proofs.	cache/ajis02-298.pdf	txt/ajis02-298.txt