Sciweavers

ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
14 years 3 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann