2022-02-01 09:05:00 EST Peter G Neumann: PGNeumann here. I am getting Ray with a terrible echo. How do I get rid of it?
2022-02-01 09:10:53 EST Todd Humiston: Good morning!! Please use the Stage Chat for questions.
2022-02-01 09:33:17 EST Stuart Card: Does I2O have any programs or interest in combining formal methods with search based methods (e.g. Genetic Programming based "genetic improvement of software")?
2022-02-01 09:36:31 EST Jason Li: Stu - I think Brad may mention something during his talk on 1200 noon, but not sure.
2022-02-01 10:05:50 EST Jason Li: Thanks for the great talk, Kathleen.
2022-02-01 10:06:07 EST June Andronick: Great talk, thanks Kathleen!
2022-02-01 10:06:24 EST Jason Li: Got a question - in terms of FM and T&E, do you envision combining FM and T&E beyond FM-driven test gen and coverage?
2022-02-01 10:06:44 EST Catherine Meadows: You talked about a paper related to the AWS work. Could you give a citation?
2022-02-01 10:07:31 EST Michael Joseph: Excellent clarity and completeness and analogies. Quite impressed by the US capitol building audio architecture analogy
2022-02-01 10:07:47 EST Stuart Card: Tnx!
2022-02-01 10:07:50 EST Jason Li: For example, FM-asssited programming/IDE, FM-driven testing/asserting properties, and Testing feeding back to programmming that is more amenable to FM proof?
2022-02-01 10:10:09 EST Aleksey Nogin: https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf
2022-02-01 10:11:20 EST Catherine Meadows: Thanks Aleksey!
2022-02-01 10:11:56 EST Jason Li: Thanks for the answers, Kathleen! That's exactly what I was hoping for.
2022-02-01 10:12:01 EST June Andronick: On the topic of democratizing the use of FM, there are varying opinions on "hiding the maths"; what is your opinion/experience between teaching/explaining FM so more people are trained in FM vs integrating FM in a transparent but maybe more shallow way to achieve more use
2022-02-01 10:14:08 EST June Andronick: Cool, thanks!
2022-02-01 10:21:27 EST Sean Peisert: To Cathy's point, it's not always easy to find the results of many of DARPA's programs. Is there any kind of catalog of papers and software that each program produces somewhere?