858 search results - page 73 / 172 » Formal Verification of Digital Systems |
82
Voted
ACSD
2001
IEEE
15 years 2 months ago
2001
IEEE
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...
81
Voted
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
102
click to vote
MEMOCODE
2010
IEEE
14 years 8 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
102
Voted
ETFA
2006
IEEE
15 years 2 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...
74
Voted
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...