Convergence Testing in Term-Level Bounded Model Checking.

Randal E. Bryant Shuvendu K. Lahiri Sanjit A. Seshia

Published in: CHARME (2003)

Keyphrases

bounded model checking
formal verification
temporal logic
convergence rate
linear temporal logic
information retrieval
higher level
objective function
optimal solution
information retrieval systems
petri net
convergence speed
software testing