2881 search results - page 4 / 577 » Model Checking for Programming Languages using Verisoft |
160
click to vote
RISE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
169
click to vote
IFIP
2009
Springer
15 years 3 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
151
Voted
ESOP
2001
Springer
15 years 10 months ago
2001
Springer