139 search results - page 1 / 28 » Totally Verified Systems: Linking Verified Software to Verif... |
MSIW
1989
13 years 9 months ago
1989
ICECCS
2007
IEEE
13 years 9 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
ECBS
2005
IEEE
13 years 11 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
SP
2003
IEEE
13 years 10 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...