2488 search results - page 138 / 498 » An improvement in formal verification |
112
Voted
ICFP
2003
ACM
16 years 23 days ago
2003
ACM
We have verified several versions of the CPS transformation in Isabelle/HOL. In our verification we adopted first-order abstract syntax with variable names so that the formalizati...
108
Voted
EDOC
2000
IEEE
15 years 5 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
131
click to vote
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
199
click to vote
ECCB
2008
IEEE
15 years 29 days ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...