4036 search results - page 411 / 808 » Formal Methods |
168
click to vote
FORMATS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
247
click to vote
IFL
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
159
click to vote
MEMOCODE
2005
IEEE
16 years 11 days ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
148
click to vote
MEMOCODE
2005
IEEE
16 years 11 days ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
193
click to vote
CAV
2005
Springer
16 years 10 days ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...