Modeling and Formal Verification of IMPP.

Sohel Khan Abdul Waheed

Published in: Software Engineering Research and Practice (2003)

Keyphrases

formal verification
model checking
bounded model checking
genetic algorithm
artificial intelligence
real time
neural network
web services