1895 search results - page 85 / 379 » Using ATL for Checking Models |
150
click to vote
IFIP
2009
Springer
15 years 2 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 ...
120
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
135
click to vote
QSIC
2007
IEEE
15 years 11 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
126
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
142
click to vote
ITA
2007
15 years 4 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...