FM 2006 - PDF Preprint Papers

FM 2006 World Congress on Formal Methods

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FM-2006 Paper

click to vote

FM
2006
Springer

275views Formal Methods» more FM 2006»

Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche

14 years 3 months ago

Download david.von-oheimb.de

David von Oheimb

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	275	Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche	claim
2	172	The Embedded Systems Design Challenge	claim
3	169	PSL Model Checking and Run-Time Verification Via Testers	claim
4	161	Changing Programs Correctly: Refactoring with Specifications	claim
5	153	Formal Methods and Cryptography	claim
6	148	Automatic Translation from Circus to Java	claim
7	146	Exact and Approximate Strategies for Symmetry Reduction in Model Checking	claim
8	146	Formal Modeling of Communication Protocols by Graph Transformation	claim
9	142	Feature Specification and Static Analysis for Interaction Resolution	claim
10	135	A Story About Formal Methods Adoption by a Railway Signaling Manufacturer	claim
11	134	Formal Verification of a C Compiler Front-End	claim
12	133	Enforcer - Efficient Failure Injection	claim
13	127	Using Domain-Independent Problems for Introducing Formal Methods	claim
14	126	Towards Modularized Verification of Distributed Time-Triggered Systems	claim
15	124	Compositional Binding in Network Domains	claim
16	121	Properties of Behavioural Model Merging	claim
17	116	A Memory Model Sensitive Checker for C#	claim
18	113	Interface Input/Output Automata	claim
19	112	Interactive Verification of Medical Guidelines	claim
20	111	A Formal Template Language Enabling Metaproof	claim
21	97	Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions	claim
22	97	Modeling and Validating Distributed Embedded Real-Time Systems with VDM++	claim
23	85	Towards Automatic Exception Safety Verification	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers