1129 search results - page 196 / 226 » Formal Verification of Websites |
132
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
101
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
121
click to vote
ICAIL
2003
ACM
15 years 7 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
108
click to vote
ITICSE
2003
ACM
15 years 7 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
110
click to vote
RTSS
1998
IEEE
15 years 6 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...