Păsăreanu, Corina S.
Enlarge text Shrink text-
Personality
|
System number
987007378577705171
-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Name (Latin)
Păsăreanu, Corina S.
Gender
female
MARC
MARC
Other Identifiers
Sources of Information
- Model checking software, 2009:t.p. (Corina S. Păsăreanu)
1 / 1
Corinus
Corinus2025, CC0
Wikipedia description:
Corina S. Păsăreanu is a Romanian-American computer scientist with affiliations at the NASA Ames Research Center, with the Carnegie Mellon University CyLab Security and Privacy Institute, and with KBR. Her research involves formal methods, including symbolic execution and the verification of systems of interacting components. She is the author of the book Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Springer, 2022).
Read more on Wikipedia >