Login / Signup
Incremental component-based construction and verification using invariants.
Saddek Bensalem
Marius Bozga
Axel Legay
Thanh-Hung Nguyen
Joseph Sifakis
Rongjie Yan
Published in:
FMCAD (2010)
Keyphrases
</>
model checking
incremental learning
case study
formal methods
real time
real world
data mining
information retrieval
computer vision
information systems
decision making
feature space
construction industry