Smart-Lint: Improving the Verification Flow.

Itai Yarom Viji Patil

Published in: Haifa Verification Conference (2006)

Keyphrases

model checking
information retrieval
databases
three dimensional
fluid flow
concurrent systems
ubiquitous environments