Domain-specific property checking with advanced static analysis - Military Embedded Systems

Advanced static analysis tools are well known for being good at finding generic defects in programs. They can also be extended by end users to find domain-specific errors unique to a particular application, thanks to customized property checkers.

Related Keywords

Paul Anderson ,City University London ,Grammatech Inc ,Kings College ,Lockheed Martin ,University Of London ,Boeing ,Intermediate Representation ,City University , ,