Yaroslav Khnygin on Nostr: This week I hosted a monthly meetup of Lisp Ireland, where Rafael Sadykov presented ...

This week I hosted a monthly meetup of Lisp Ireland, where Rafael Sadykov presented his talk "Lisp & Hardware Verification with ACL2".

ACL2 is a theorem prover implemented in a subset of Common Lisp, and the talk discussed how it can be used for formal verification of various systems, and for hardware verification in particular.

The recording was uploaded here: https://www.youtube.com/watch?v=iFEb9p54x_Q

#LispIreland #Meetup #TechTalk #Lisp #CommonLisp #ACL2 #FormalVerification #HardwareVerification #Ireland