1304 search results - page 59 / 261 » Model Checking C Programs Using F-SOFT |
129
click to vote
POPL
1990
ACM
15 years 6 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
104
click to vote
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
114
Voted
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...
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. ...
122
click to vote
SERP
2003
15 years 3 months ago
2003
Design patterns provide a medium-grained ion and can be used as an effective tool for understanding object-oriented systems. This paper presents a simple tool for the extraction o...