161
click to vote
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...