Domain-specific property checking with advanced static analy

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 , ,