8828 search results - page 179 / 1766 » Formal methods in practice |
133
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
172
Voted
IFIP13
2004
15 years 6 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
126
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Transfer scenarios is a method developed to support the design of innovative interactive technology. Such a method should help the designer to come up with inventive ideas, and at...
141
Voted
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
152
click to vote
CIA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...