Results 1 -
1 of
1
An overview of the programatica toolset
- High Confidence Software and Systems Conference, HCSS04, http://www.cse.ogi.edu/~hallgren/ Programatica/HCSS04
, 2004
"... 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 ..."
Abstract
-
Cited by 6 (0 self)
- Add to MetaCart
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
