Probabilistic Reasoning
Corina S. Păsăreanu
Topics & Concepts
Symbolic executionComputer scienceProbabilistic logicPath (computing)Code (set theory)Theoretical computer scienceModel checkingProgram analysisProgramming languageArtificial intelligenceSoftwareSet (abstract data type)Software Engineering ResearchSoftware Reliability and Analysis ResearchSoftware System Performance and Reliability