294 search results - page 20 / 59 » Formal Verification of the Implementability of Timing Requir... |
89
Voted
ASE
2005
14 years 10 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
80
Voted
ICNP
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
86
Voted
SAC
2006
ACM
14 years 10 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
102
click to vote
CODES
2008
IEEE
15 years 21 days ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
PASTE
2004
ACM
15 years 4 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...