IFM 2010 - PDF Preprint Papers

IFM 2010 International Conference on Integrated Formal Methods

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed IFM-2010 Paper

click to vote

IFM
2010
Springer

77views Formal Methods» more IFM 2010»

Adding Change Impact Analysis to the Formal Verification of C Programs

1 years 3 months ago

Download www.informatik.uni-bremen.de

Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...

Serge Autexier, Christoph Lüth

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	77	Adding Change Impact Analysis to the Formal Verification of C Programs	claim
2	73	A CSP Approach to Control in Event-B	claim
3	63	On Model Checking Techniques for Randomized Distributed Systems	claim
4	63	Towards Probabilistic Modelling in Event-B	claim
5	62	From Operating-System Correctness to Pervasively Verified Applications	claim
6	59	An Event-B Approach to Data Sharing Agreements	claim
7	57	Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT	claim
8	57	Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems	claim
9	55	Specification and Verification of Model Transformations Using UML-RSDS	claim
10	54	A Logical Framework to Deal with Variability	claim
11	52	Verification Architectures: Compositional Reasoning for Real-Time Systems	claim
12	52	Certified Absence of Dangling Pointers in a Language with Explicit Deallocation	claim
13	51	Safe Commits for Transactional Featherweight Java	claim
14	50	Symbolic Model-Checking of Optimistic Replication Algorithms	claim
15	45	Translating Pi-Calculus into LOTOS NT	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers