ATS2 can avoid some of FreeBSD Problem Reports
Mechanically avoid 12% of latest FreeBSD Problem Reports without code review.
Metasepi Blog
Latest posts
ATS2 and VeriFast avoid some of FreeBSD vulnerabilities
Mechanically avoid 16% of latest FreeBSD vulnerabilities without code review.
A toy translator C to ATS
Try to translate IDIOMATIC C code into human readable ATS code.
So long VeriFast, and see again ATS
Shutdown Chiers iteration, and Come back to Bohai.
You must buy SyncStitch with only 64,800 JPY!
Dive into CSP (Communicating Sequential Processes) modeling.
Hands-on VeriFast with STM32 microcontroller
Verify ChibiOS/RT sample application using VeriFast
c2ats - An utility to generate ATS interface from C code
Create scaffold to rewrite large Unix-like kernel using ATS.
Functional IoT Meetup
First meetup to talk about Functional programming on embedded device.
Metasepi's going year and coming year, 2015
Look back on 2015, and dream next year!
ATS Programming Tutorial at PPL 2015
An ATS Programming Tutorial for beginner.