2881 search results - page 156 / 577 » Model Checking for Programming Languages using Verisoft |
169
Voted
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
124
click to vote
WWW
2010
ACM
16 years 2 days ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
137
click to vote
PDPTA
2003
15 years 6 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
158
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
265
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...