3081 search results - page 309 / 617 » A Formal Ontology of Properties |
156
click to vote
ISVLSI
2007
IEEE
16 years 29 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
161
click to vote
ECOOP
2007
Springer
16 years 26 days ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
158
click to vote
FMCAD
2007
Springer
16 years 26 days ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
191
click to vote
TRUSTBUS
2007
Springer
16 years 24 days ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
158
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...