Program analysis

相关论文数: 4

顶级研究者

Klaus Havelund

研究机构: —

Thomas Pressburger

研究机构: —

Vincent Hayward

研究机构: —

Sriram Sankaranarayanan

研究机构: —

Aleksandar Chakarov

研究机构: —

Sumit Gulwani

研究机构: —

Sriram Sankaranarayanan

研究机构: —

A. Osorio

研究机构: —

最高引用论文

Model checking JAVA programs using JAVA PathFinder

Klaus Havelund, Thomas Pressburger

引用数: 798 • 2000

Static analysis for probabilistic programs

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

引用数: 122 • 2013

Static analysis for probabilistic programs

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

引用数: 31 • 2013

A System to Automatically Analyze Assembled Programs

Vincent Hayward, A. Osorio

引用数: 2 • 1983

相关技术

Artificial intelligenceComputer scienceMathematicsProbabilistic logicComputationAlgorithmTheoretical computer scienceProgramming languageSet (abstract data type)Path (computing)