448 search results - page 53 / 90 » A Meta-Method for Formal Method Integration |
128
click to vote
PDCAT
2007
Springer
15 years 9 months ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
126
Voted
CAV
2004
Springer
15 years 8 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
120
click to vote
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
131
click to vote
DSD
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Continuously shrinking feature sizes cause an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Aut...
103
click to vote
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Merging and integrating different conceptual models which have been developed by domain experts and analysts with dissimilar perspectives on the same issue has been the subject of...