Login / Signup
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.
Famantanantsoa Randimbivololona
Jean Souyris
Patrick Baudin
Anne Pacalet
Jacques Raguideau
Dominique Schoen
Published in:
World Congress on Formal Methods (1999)
Keyphrases
</>
formal proof
theorem prover
software systems
user interface
software development
software tools
software design
commercial software
source code
distributed systems
software developers
software package
software evolution
software packages
hardware design