An overview of the programatica toolset

An overview of the programatica toolset (2004)

by Thomas Hallgren , James Hook , Mark P. Jones , Richard B. Kieburtz

Venue:	High Confidence Software and Systems Conference, HCSS04, http://www.cse.ogi.edu/~hallgren/ Programatica/HCSS04
Citations:	6 - 0 self

Datum	Value	Source
TITLE	An overview of the programatica toolset	INFERENCE
AUTHOR NAME	Thomas Hallgren	SVM HeaderParse 0.2
AUTHOR AFFIL	OGI School of Science & Engineering; Oregon Health & Science University; 20000 NW Walker Rd, Beaverton, Oregon	SVM HeaderParse 0.2
AUTHOR ADDR	USA	SVM HeaderParse 0.2
AUTHOR NAME	James Hook	SVM HeaderParse 0.2
AUTHOR AFFIL	OGI School of Science & Engineering; Oregon Health & Science University; 20000 NW Walker Rd, Beaverton, Oregon	SVM HeaderParse 0.2
AUTHOR ADDR	USA	SVM HeaderParse 0.2
AUTHOR NAME	Mark P. Jones	SVM HeaderParse 0.2
AUTHOR AFFIL	OGI School of Science & Engineering; Oregon Health & Science University; 20000 NW Walker Rd, Beaverton, Oregon	SVM HeaderParse 0.2
AUTHOR ADDR	USA	SVM HeaderParse 0.2
AUTHOR NAME	Richard B. Kieburtz	SVM HeaderParse 0.2
AUTHOR AFFIL	OGI School of Science & Engineering; Oregon Health & Science University; 20000 NW Walker Rd, Beaverton, Oregon	SVM HeaderParse 0.2
AUTHOR ADDR	USA	SVM HeaderParse 0.2
ABSTRACT	With ever increasing use of computers in safety and security critical applications, the need for trustworthy computer systems has never been greater. But how can such trust be established? For example, how can we be sure that our computer systems will not destroy or corrupt valuable data, compromise privacy, or trigger	SVM HeaderParse 0.2
YEAR	2004	INFERENCE
VENUE	High Confidence Software and Systems Conference, HCSS04, http://www.cse.ogi.edu/~hallgren/ Programatica/HCSS04	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
CITATIONS	24 found	ParsCit 1.0