University of Cambridge > Talks.cam > Computer Laboratory Automated Reasoning Group Lunches > Bottom-up formalization of the ARM architecture

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Bottom-up formalization of the ARM architecture

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact William Denman.

Many formal descriptions of processors start with a blank sheet of paper: the authors are free to use any notation and formalisms they wish in creating their specification. This talk will explore a different approach: working with existing specifications and the data mining, engineering and social engineering steps needed to develop an accessible formal specification that can be widely used both by those with formal methods experience and those with none.

This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Meeting the Challenge of Healthy Ageing in the 21st Century Social Anthropology Post-Doc Seminar Professional Developent Series (Department of Archaeology)

Other talks

'Cambridge University, Past and Present' Making Refuge: Calais and Cambridge On the elastic-brittle versus ductile fracture of lattice materials Panel comparisons: Challenor, Ginsbourger, Nobile, Teckentrup and Beck HE@Cam Seminar: Christian Hill - Patient Access Scheme, Managed Access Agreements and their influence on the approval trends on new medicines, devices and diagnostics Bullion or specie? The role of Spanish American silver coins in Europe and Asia throughout the 18th century DataFlow SuperComputing for BigData Refugees and Migration Glucagon like peptide-1 receptor - a possible role for beta cell physiology in susceptibility to autoimmune diabetes Constructing the virtual fundamental cycle Vision Journal Club: feedforward vs back in figure ground segmentation Hydrogen-Deuterium Exchange Mass Spectrometry
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity