University of Cambridge > Talks.cam > Computer Laboratory Automated Reasoning Group Lunches > Formal Verification of Analog Designs using MetiTarski

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

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

ℹī¸ Information

Formal Verification of Analog Designs using MetiTarski

Download to your calendar using vCal

If you have a question about this talk, please contact Thomas Tuerk .

This talk will describe our research using MetiTarski, an automatic theorem prover for inequalities on real-valued elementary functions, to verify properties of analog circuits.

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

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Sidgwick Site; Morning session: Sidgwick Hall, Newnham College & Afternoon session: English Faculty, GR06-7 Lecture Theatre 2, Clinical School, Cambridge School of Clinical Medicine, Lecture Theatre 2

Other talks

TBC TBC Novel neuroimaging methods in Lewy body dementia Polar Oceans Seminar Talk Talk TBC Machine Politics? Computers and AI in the History of Political Thought
 

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