2881 search results - page 4 / 577 » Model Checking for Programming Languages using Verisoft |
116
Voted
RISE
2004
Springer
15 years 7 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...
113
click to vote
IFIP
2009
Springer
14 years 12 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 ...
84
Voted
PADL
2007
Springer
15 years 8 months ago
2007
Springer
118
Voted
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
89
Voted
ICALP
1993
Springer
15 years 6 months ago
1993
Springer