Login / Signup
Loop summarization using state and transition invariants.
Daniel Kroening
Natasha Sharygina
Stefano Tonetta
Aliaksei Tsitovich
Christoph M. Wintersteiger
Published in:
Formal Methods Syst. Des. (2013)
Keyphrases
</>
genetic algorithm
artificial intelligence
state space
state transition
information retrieval
search engine
dynamic programming
state transitions
transition model