Program analysis

Related papers: 4

Top Researchers

Klaus Havelund

Institution: —

Thomas Pressburger

Institution: —

Vincent Hayward

Institution: —

Sriram Sankaranarayanan

Institution: —

Aleksandar Chakarov

Institution: —

Sumit Gulwani

Institution: —

Sriram Sankaranarayanan

Institution: —

A. Osorio

Institution: —

Top Cited Papers

Model checking JAVA programs using JAVA PathFinder

Klaus Havelund, Thomas Pressburger

Citations: 798 • 2000

Static analysis for probabilistic programs

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

Citations: 122 • 2013

Static analysis for probabilistic programs

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

Citations: 31 • 2013

A System to Automatically Analyze Assembled Programs

Vincent Hayward, A. Osorio

Citations: 2 • 1983

Related Technologies

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