2875 search results - page 13 / 575 » Model checking agentspeak |
158
click to vote
FORTE
2009
15 years 3 days ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
119
click to vote
IPL
2010
15 years 23 days ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
140
click to vote
FMSD
2002
15 years 2 months ago
2002
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
122
click to vote
TSE
2010
15 years 21 days ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
133
click to vote
ACSAC
2010
IEEE
15 years 11 days ago
2010
IEEE
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...