448 search results - page 52 / 90 » A Meta-Method for Formal Method Integration |
175
click to vote
DAC
2006
ACM
16 years 4 months 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...
142
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
We show our approach for the definition of Domain Specific Languages integrating both graphical and textual views. The approach is based on the meta-modelling concepts provided by ...
141
click to vote
TYPES
1998
Springer
15 years 7 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
162
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
118
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...