Login / Signup
Modeling and Formal Verification of DHCP Using SPIN.
Syed M. S. Islam
Mohammed H. Sqalli
Sohel Khan
Published in:
Int. J. Comput. Sci. Appl. (2006)
Keyphrases
</>
formal verification
model checking
bounded model checking
model checker
symbolic model checking
automated verification
real time
data sets
neural network
artificial intelligence
bayesian networks
modeling method