Login / Signup
Exploiting step semantics for efficient bounded model checking of asynchronous systems.
Jori Dubrovin
Tommi A. Junttila
Keijo Heljanko
Published in:
Sci. Comput. Program. (2012)
Keyphrases
</>
bounded model checking
expert systems
post processing
multi agent
state space
intelligent systems
complex systems
retrieval systems