Sciweavers

FM
2009
Springer
104views Formal Methods» more  FM 2009»
13 years 10 months ago
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
Helmut Seidl, Vesal Vojdani, Varmo Vene
FM
2009
Springer
95views Formal Methods» more  FM 2009»
13 years 10 months ago
Industrial Practice in Formal Methods: A Review
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
Juan Bicarregui, John S. Fitzgerald, Peter Gorm La...
FM
2009
Springer
80views Formal Methods» more  FM 2009»
13 years 10 months ago
Unifying Probability with Nondeterminism
Yifeng Chen, Jeff W. Sanders
FM
2009
Springer
138views Formal Methods» more  FM 2009»
13 years 10 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
FM
2009
Springer
116views Formal Methods» more  FM 2009»
13 years 10 months ago
Language and Tool Support for Class and State Machine Refinement in UML-B
Mar Yah Said, Michael J. Butler, Colin F. Snook
FM
2009
Springer
104views Formal Methods» more  FM 2009»
13 years 10 months ago
A Metric Encoding for Bounded Model Checking
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
FM
2009
Springer
124views Formal Methods» more  FM 2009»
13 years 10 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
FM
2009
Springer
94views Formal Methods» more  FM 2009»
13 years 10 months ago
Formal Methods for Privacy
Michael Carl Tschantz, Jeannette M. Wing
FM
2009
Springer
95views Formal Methods» more  FM 2009»
13 years 10 months ago
A Robust Semantics Hides Fewer Errors
Steve Reeves, David Streader