- When?
- June 13, 2017 5:00 PM
- Where?
- X5114.0001
What?
In computer science, the correctness problem is concerned with checking that computer systems behave as intended. Given the huge cost of bugs and defects in critical software infrastructures, the problem of program correctness has been intensively studied over last few decades. In this talk, Jorge A. Perez will first introduce the correctness problem, in particular in connection with the problem of formal verification: checking that a program P is correct with respect to a (mathematical) specification F. Furthermore, dr. Perez will discuss correctness and formal verification in the context of software systems with concurrency and communication; this is the class of systems he focuses on in his current research. Finally, and if time permits, dr. Perez will overview recent results that he and his colleagues have obtained at the Johann Bernoulli Institute for Mathematics and Computer Science on software correctness as informed by approaches based on logic.
You cannot subscribe for this activity anymore.