1463 search results - page 140 / 293 » Model Checking Implicit-Invocation Systems |
117
click to vote
FORTE
2007
15 years 3 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
144
click to vote
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
155
click to vote
SP
2010
IEEE
14 years 11 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
104
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
115
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...