2881 search results - page 4 / 577 » Model Checking for Programming Languages using Verisoft |
RISE
2004
Springer
14 years 21 days 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...
IFIP
2009
Springer
13 years 5 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 ...
PADL
2007
Springer
14 years 1 months ago
2007
Springer
ESOP
2001
Springer
13 years 12 months ago
2001
Springer
ICALP
1993
Springer
13 years 11 months ago
1993
Springer