2872 search results - page 302 / 575 » On (Omega-)Regular Model Checking |
161
Voted
ISSTA
1998
ACM
15 years 9 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
150
Voted
IANDC
2008
15 years 5 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
169
click to vote
ICAS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
166
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The practice of medicine is becoming increasingly evidencebased and clinical practice guidelines (CPGs) are necessary for advancing evidence-based medicine (EBM). We hypo...
147
click to vote
ISQED
2010
IEEE
15 years 7 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...