softhardver

verification of software and hardware: Hoare Logic (with KeyHoare method), Bounded Model Checking for Ansi-C (cbmc) and a little bit of TLA+

Find everything organized in:

• The index file at docs folder
• the associated web page: https://ramonbejar.github.io/softhardver