Abstraction refinement for large scale model checking

Podobne zapisy

• Logic synthesis and verification algorithms / : Gary D Hachtel, Fabio Somenzi.
  od: Hachtel, Gary D., i wsp.
  Wydane: (1996.)
• Protein homology model refinement by large-scale energy optimization
  od: Park, Hahnbeom, i wsp.
  Wydane: (2018)
• Large-scale systems : modeling and control /
  od: Jamshidi, Mohammad.
  Wydane: (1983.)
• Odor segmentation and identification in an abstract large-scale model of the mammalian olfactory system
  od: Benjaminsson, Simon, i wsp.
  Wydane: (2011)
• 25 Years of model checking history, achievements, perspectives /
  od: Grumberg, Orna., i wsp.
  Wydane: (c2008)