Login / Signup
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report.
Vu Ha
Murali Rangarajan
Darren D. Cofer
Harald Rueß
Bruno Dutertre
Published in:
ICSE (2004)
Keyphrases
</>
real time
low cost
source code
machine learning
user interface
computer systems
inductive learning
theorem proving
neural network
case study
control system
mobile robot
software design
software package
decomposition method
dedicated hardware