Trustworthy Ambient Systems / Cambridge University Press / Microsoft / Computer Sciences / /
Country
United Kingdom / Ireland / Wales / / /
Event
Product Issues / /
Facility
Computing University of Newcastle cliff.jones@ncl.ac.uk / Swansea University / Informatics University of Edinburgh School / Informatics University of Edinburgh ggrov@staffmail.ed.ac.uk bundy@staffmail.ed.ac.uk Cliff B. Jones Andrew Ireland School / /
IndustryTerm
conventional software development techniques / recent industrial applications / computing / term software / search space / proof search / /
Organization
Cambridge University / Gudmund Grov Alan Bundy School / Heriot-Watt University / University of Edinburgh ggrov@staffmail.ed.ac.uk bundy@staffmail.ed.ac.uk Cliff B. Jones Andrew Ireland School / Informatics University of Edinburgh School / European Union / Swansea University / School of Mathematical / University of Newcastle / /
The AI4FM approach for proof automation within formal methods A Grand Challenge 6 “Dependable Systems Evolution" project Gudmund Grov Alan Bundy