2881 search results - page 99 / 577 » Model Checking for Programming Languages using Verisoft |
123
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
115
click to vote
USS
2008
15 years 4 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
134
click to vote
DALT
2004
Springer
15 years 6 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
134
click to vote
CAV
2003
Springer
15 years 6 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
98
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
The Revised6 Report on Scheme requires its generic equivalence predicate, equal?, to terminate even on cyclic inputs. While the terminating equal? can be implemented via a DFA-equ...