1129 search results - page 138 / 226 » Formal Verification of Websites |
133
click to vote
ASE
2005
15 years 1 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
126
click to vote
ICTAC
2010
Springer
14 years 12 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
138
click to vote
HCI
2009
14 years 11 months ago
2009
Game developers have begun applying formal human-computer interaction (HCI) principles in design. Desurvire et al [2] adapted a set of Heuristics for productivity software to games...
133
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
110
click to vote
IJCAI
1993
15 years 3 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...