Industrial Experience of Abstract Interpretation-Based Static Analyzers

This publication has 3 references indexed in Scilit:

• An abstract interpretation-based timing validation of hard real-time avionics software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• A static analyzer for large safety-critical software
  Published by Association for Computing Machinery (ACM) ,2003
• Applying formal proof techniques to avionics software: a pragmatic approach
  Published by Springer Nature ,1999