130
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
109
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
129
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...