Login / Signup
D-Finder 2: Towards Efficient Correctness of Incremental Design.
Saddek Bensalem
Andreas Griesmayer
Axel Legay
Thanh-Hung Nguyen
Joseph Sifakis
Rongjie Yan
Published in:
NASA Formal Methods (2011)
Keyphrases
</>
case study
efficient implementation
data sets
user interface
data driven
building blocks
computer aided
engineering design
data mining
search algorithm
knowledge based systems
computationally efficient
incremental version