Supporting sequential assumptions in hybrid verification.

Eduard Cerny Ashvin Dsouza Kevin Harer Pei-Hsin Ho Hi-Keung Tony Ma

Published in: ASP-DAC (2005)

Keyphrases

model checking
hybrid approaches
hybrid learning
person identification
machine learning
simplifying assumptions
real time
databases
information systems
knowledge base
decision support
underlying assumptions
concurrent systems