2881 search results - page 113 / 577 » Model Checking for Programming Languages using Verisoft |
107
Voted
ACSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
149
Voted
JLP
2011
14 years 9 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
102
Voted
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
135
Voted
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
138
click to vote
LFCS
2007
Springer
15 years 8 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...