203 search results - page 15 / 41 » Temporal Logic Verification Using Simulation |
CAISE
2009
Springer
15 years 3 months ago
2009
Springer
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
DAC
2003
ACM
16 years 21 days ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
103
click to vote
EUSFLAT
2003
15 years 1 months ago
2003
This work shows a stand-alone photovoltaic system application based on fuzzy logic controllers and genetic fuzzy systems. A hierarchical fuzzy controller has been designed that at...
140
click to vote
DAC
2006
ACM
16 years 21 days ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
DAC
2007
ACM
16 years 22 days ago
2007
ACM
tive Guidance Strategy for Abstraction-Guided Simulation Flavio M. De Paula Alan J. Hu Department of Computer Science, University of British Columbia, {depaulfm, ajh}@cs.ubc.ca D...