289 search results - page 2 / 58 » Formal Verification in a Commercial Setting |
ESORICS
2000
Springer
13 years 9 months ago
2000
Springer
CCGRID
2008
IEEE
13 years 7 months ago
2008
IEEE
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
FLAIRS
2000
13 years 6 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
ATVA
2007
Springer
13 years 9 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
FORTE
1994
13 years 6 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...