2989 search results - page 209 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
132
Voted
TCAD
2002
15 years 2 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
116
Voted
IFM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
125
click to vote
BIBE
2005
IEEE
15 years 8 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
112
click to vote
MEMOCODE
2007
IEEE
15 years 8 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
138
click to vote
IFM
2005
Springer
15 years 8 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...