狠狠撸shows by User: master_q / http://www.slideshare.net/images/logo.gif 狠狠撸shows by User: master_q / Sat, 31 Mar 2018 06:36:49 GMT 狠狠撸Share feed for 狠狠撸shows by User: master_q An OCaml newbie meets Camlp4 parser /slideshow/an-ocaml-newbie-meets-camlp4-parser/92452452 output-180331063649
An OCaml newbie meets Camlp4 parser]]>
An OCaml newbie meets Camlp4 parser]]> Sat, 31 Mar 2018 06:36:49 GMT /slideshow/an-ocaml-newbie-meets-camlp4-parser/92452452 master_q@slideshare.net(master_q) An OCaml newbie meets Camlp4 parser master_q An OCaml newbie meets Camlp4 parser <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/output-180331063649-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> An OCaml newbie meets Camlp4 parser
An OCaml newbie meets Camlp4 parser from Kiwamu Okabe
]]> 933 1 https://cdn.slidesharecdn.com/ss_thumbnails/output-180331063649-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Past and today of Metasepi project /master_q/past-and-today-of-metasepi-project 20170807rikenaics-170807074928
Past and today of Metasepi project]]>
Past and today of Metasepi project]]> Mon, 07 Aug 2017 07:49:27 GMT /master_q/past-and-today-of-metasepi-project master_q@slideshare.net(master_q) Past and today of Metasepi project master_q Past and today of Metasepi project <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20170807rikenaics-170807074928-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Past and today of Metasepi project
Past and today of Metasepi project from Kiwamu Okabe
]]> 668 3 https://cdn.slidesharecdn.com/ss_thumbnails/20170807rikenaics-170807074928-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Hands-on VeriFast with STM32 microcontroller @ Osaka /slideshow/handson-verifast-with-stm32-microcontroller-osaka/78599378 20170806verifaststm32osaka-170806002717
Hands-on VeriFast with STM32 microcontroller @ Osaka]]>
Hands-on VeriFast with STM32 microcontroller @ Osaka]]> Sun, 06 Aug 2017 00:27:17 GMT /slideshow/handson-verifast-with-stm32-microcontroller-osaka/78599378 master_q@slideshare.net(master_q) Hands-on VeriFast with STM32 microcontroller @ Osaka master_q Hands-on VeriFast with STM32 microcontroller @ Osaka <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20170806verifaststm32osaka-170806002717-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Hands-on VeriFast with STM32 microcontroller @ Osaka
Hands-on VeriFast with STM32 microcontroller @ Osaka from Kiwamu Okabe
]]> 1226 3 https://cdn.slidesharecdn.com/ss_thumbnails/20170806verifaststm32osaka-170806002717-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Introduction to VeriFast @ Kyoto /slideshow/introduction-to-verifast-kyoto/78587142 20170527oscnagoyaverifast-170805081518
Introduction to VeriFast @ Kyoto]]>
Introduction to VeriFast @ Kyoto]]> Sat, 05 Aug 2017 08:15:18 GMT /slideshow/introduction-to-verifast-kyoto/78587142 master_q@slideshare.net(master_q) Introduction to VeriFast @ Kyoto master_q Introduction to VeriFast @ Kyoto <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20170527oscnagoyaverifast-170805081518-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Introduction to VeriFast @ Kyoto
Introduction to VeriFast @ Kyoto from Kiwamu Okabe
]]> 816 2 https://cdn.slidesharecdn.com/ss_thumbnails/20170527oscnagoyaverifast-170805081518-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 ATS2 updates 2017 /slideshow/ats2-updates-2017/77904384 20170722ats2updates-170715112339
ATS2 updates 2017]]>
ATS2 updates 2017]]> Sat, 15 Jul 2017 11:23:39 GMT /slideshow/ats2-updates-2017/77904384 master_q@slideshare.net(master_q) ATS2 updates 2017 master_q ATS2 updates 2017 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20170722ats2updates-170715112339-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> ATS2 updates 2017
ATS2 updates 2017 from Kiwamu Okabe
]]> 4557 3 https://cdn.slidesharecdn.com/ss_thumbnails/20170722ats2updates-170715112339-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 お米大好きな组み込みエンジニアが半年で10办驳限量した话 /slideshow/10kg-77741296/77741296 20170711devnight-170711085510
お米大好きな组み込みエンジニアが半年で10办驳限量した话]]>
お米大好きな组み込みエンジニアが半年で10办驳限量した话]]> Tue, 11 Jul 2017 08:55:09 GMT /slideshow/10kg-77741296/77741296 master_q@slideshare.net(master_q) お米大好きな组み込みエンジニアが半年で10办驳限量した话 master_q お米大好きな组み込みエンジニアが半年で10办驳限量した话 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20170711devnight-170711085510-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> お米大好きな组み込みエンジニアが半年で10办驳限量した话
お米大好きな组み込みエンジニアが半年で10办驳限量した话 from Kiwamu Okabe
]]> 822 2 https://cdn.slidesharecdn.com/ss_thumbnails/20170711devnight-170711085510-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 RTOS application verified by VeriFast, and future plan /slideshow/rtos-application-verified-by-verifast-and-future-plan/76818566 20170610verifastkoedolug-170610070528
RTOS application verified by VeriFast, and future plan]]>
RTOS application verified by VeriFast, and future plan]]> Sat, 10 Jun 2017 07:05:28 GMT /slideshow/rtos-application-verified-by-verifast-and-future-plan/76818566 master_q@slideshare.net(master_q) RTOS application verified by VeriFast, and future plan master_q RTOS application verified by VeriFast, and future plan <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20170610verifastkoedolug-170610070528-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> RTOS application verified by VeriFast, and future plan
RTOS application verified by VeriFast, and future plan from Kiwamu Okabe
]]> 976 2 https://cdn.slidesharecdn.com/ss_thumbnails/20170610verifastkoedolug-170610070528-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Hands-on VeriFast with STM32 microcontroller @ Nagoya /slideshow/handson-verifast-with-stm32-microcontroller-nagoya/76403896 20170528verifaststm32nagoya-170527122913
Hands-on VeriFast with STM32 microcontroller @ Nagoya]]>
Hands-on VeriFast with STM32 microcontroller @ Nagoya]]> Sat, 27 May 2017 12:29:13 GMT /slideshow/handson-verifast-with-stm32-microcontroller-nagoya/76403896 master_q@slideshare.net(master_q) Hands-on VeriFast with STM32 microcontroller @ Nagoya master_q Hands-on VeriFast with STM32 microcontroller @ Nagoya <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20170528verifaststm32nagoya-170527122913-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Hands-on VeriFast with STM32 microcontroller @ Nagoya
Hands-on VeriFast with STM32 microcontroller @ Nagoya from Kiwamu Okabe
]]> 725 2 https://cdn.slidesharecdn.com/ss_thumbnails/20170528verifaststm32nagoya-170527122913-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Poster: Comparing ATS and VeriFast on RTOS system state /slideshow/poster-comparing-ats-and-verifast-on-rtos-system-state/72976371 20170309ppl2017chibios-170309080441
Poster: Comparing ATS and VeriFast on RTOS system state]]>
Poster: Comparing ATS and VeriFast on RTOS system state]]> Thu, 09 Mar 2017 08:04:41 GMT /slideshow/poster-comparing-ats-and-verifast-on-rtos-system-state/72976371 master_q@slideshare.net(master_q) Poster: Comparing ATS and VeriFast on RTOS system state master_q Poster: Comparing ATS and VeriFast on RTOS system state <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20170309ppl2017chibios-170309080441-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Poster: Comparing ATS and VeriFast on RTOS system state
Poster: Comparing ATS and VeriFast on RTOS system state from Kiwamu Okabe
]]> 798 3 https://cdn.slidesharecdn.com/ss_thumbnails/20170309ppl2017chibios-170309080441-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Poster: Generate ATS interface from C code, and introduce linear type /slideshow/poster-generate-ats-interface-from-c-code-and-introduce-linear-type/72976353 20170308ppl2017c2ats-170309080325
Poster: Generate ATS interface from C code, and introduce linear type]]>
Poster: Generate ATS interface from C code, and introduce linear type]]> Thu, 09 Mar 2017 08:03:25 GMT /slideshow/poster-generate-ats-interface-from-c-code-and-introduce-linear-type/72976353 master_q@slideshare.net(master_q) Poster: Generate ATS interface from C code, and introduce linear type master_q Poster: Generate ATS interface from C code, and introduce linear type <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20170308ppl2017c2ats-170309080325-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Poster: Generate ATS interface from C code, and introduce linear type
Poster: Generate ATS interface from C code, and introduce linear type from Kiwamu Okabe
]]> 589 2 https://cdn.slidesharecdn.com/ss_thumbnails/20170308ppl2017c2ats-170309080325-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Hands-on VeriFast with STM32 microcontroller /slideshow/handson-verifast-with-stm32-microcontroller/71761044 output-170204173255
Hands-on VeriFast with STM32 microcontroller]]>
Hands-on VeriFast with STM32 microcontroller]]> Sat, 04 Feb 2017 17:32:55 GMT /slideshow/handson-verifast-with-stm32-microcontroller/71761044 master_q@slideshare.net(master_q) Hands-on VeriFast with STM32 microcontroller master_q Hands-on VeriFast with STM32 microcontroller <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/output-170204173255-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Hands-on VeriFast with STM32 microcontroller
Hands-on VeriFast with STM32 microcontroller from Kiwamu Okabe
]]> 1595 3 https://cdn.slidesharecdn.com/ss_thumbnails/output-170204173255-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Emacs verilog-mode is coming to Debian, again /slideshow/emacs-verilogmode-is-coming-to-debian-again/70005674 20161210verilogmode-161210042022
Emacs verilog-mode is coming to Debian, again]]>
Emacs verilog-mode is coming to Debian, again]]> Sat, 10 Dec 2016 04:20:22 GMT /slideshow/emacs-verilogmode-is-coming-to-debian-again/70005674 master_q@slideshare.net(master_q) Emacs verilog-mode is coming to Debian, again master_q Emacs verilog-mode is coming to Debian, again <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20161210verilogmode-161210042022-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Emacs verilog-mode is coming to Debian, again
Emacs verilog-mode is coming to Debian, again from Kiwamu Okabe
]]> 1025 3 https://cdn.slidesharecdn.com/ss_thumbnails/20161210verilogmode-161210042022-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Does Infer dream of design by contract? /slideshow/does-infer-dream-of-design-by-contract/68892412 20161119infer-161114085515
Does Infer dream of design by contract?]]>
Does Infer dream of design by contract?]]> Mon, 14 Nov 2016 08:55:15 GMT /slideshow/does-infer-dream-of-design-by-contract/68892412 master_q@slideshare.net(master_q) Does Infer dream of design by contract? master_q Does Infer dream of design by contract? <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20161119infer-161114085515-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Does Infer dream of design by contract?
Does Infer dream of design by contract? from Kiwamu Okabe
]]> 1072 2 https://cdn.slidesharecdn.com/ss_thumbnails/20161119infer-161114085515-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Real-time OS system state captured by ATS language /master_q/realtime-os-system-state-captured-by-ats-language 20160709mlstudy-160708143131
Real-time OS system state captured by ATS language. Demo movie is found at https://youtu.be/Riw5C_ZrK-Y.]]>
Real-time OS system state captured by ATS language. Demo movie is found at https://youtu.be/Riw5C_ZrK-Y.]]> Fri, 08 Jul 2016 14:31:30 GMT /master_q/realtime-os-system-state-captured-by-ats-language master_q@slideshare.net(master_q) Real-time OS system state captured by ATS language master_q Real-time OS system state captured by ATS language. Demo movie is found at https://youtu.be/Riw5C_ZrK-Y. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20160709mlstudy-160708143131-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Real-time OS system state captured by ATS language. Demo movie is found at https://youtu.be/Riw5C_ZrK-Y.
Real-time OS system state captured by ATS language from Kiwamu Okabe
]]> 7263 5 https://cdn.slidesharecdn.com/ss_thumbnails/20160709mlstudy-160708143131-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Functional IoT: Programming Language and OS /slideshow/functional-iot-programming-language-and-os/57638360 201601303startfpiotsoft-160129085140
Functional IoT: Programming Language and OS]]>
Functional IoT: Programming Language and OS]]> Fri, 29 Jan 2016 08:51:40 GMT /slideshow/functional-iot-programming-language-and-os/57638360 master_q@slideshare.net(master_q) Functional IoT: Programming Language and OS master_q Functional IoT: Programming Language and OS <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/201601303startfpiotsoft-160129085140-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Functional IoT: Programming Language and OS
Functional IoT: Programming Language and OS from Kiwamu Okabe
]]> 1616 7 https://cdn.slidesharecdn.com/ss_thumbnails/201601303startfpiotsoft-160129085140-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Functional IoT: Hardware and Platform /slideshow/functional-iot-hardware-and-platform/57605137 201601302startfpiothard-160128133726
Functional IoT: Hardware and Platform]]>
Functional IoT: Hardware and Platform]]> Thu, 28 Jan 2016 13:37:25 GMT /slideshow/functional-iot-hardware-and-platform/57605137 master_q@slideshare.net(master_q) Functional IoT: Hardware and Platform master_q Functional IoT: Hardware and Platform <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/201601302startfpiothard-160128133726-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Functional IoT: Hardware and Platform
Functional IoT: Hardware and Platform from Kiwamu Okabe
]]> 1628 7 https://cdn.slidesharecdn.com/ss_thumbnails/201601302startfpiothard-160128133726-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Functional IoT: Introduction /slideshow/functional-iot-introduction/57605072 201601301startfpiotintro-160128133544
Functional IoT: Introduction]]>
Functional IoT: Introduction]]> Thu, 28 Jan 2016 13:35:44 GMT /slideshow/functional-iot-introduction/57605072 master_q@slideshare.net(master_q) Functional IoT: Introduction master_q Functional IoT: Introduction <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/201601301startfpiotintro-160128133544-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Functional IoT: Introduction
Functional IoT: Introduction from Kiwamu Okabe
]]> 1439 7 https://cdn.slidesharecdn.com/ss_thumbnails/201601301startfpiotintro-160128133544-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Embedded application designed by ATS language /slideshow/embedded-application-designed-by-ats-language/57257808 2016012013thwocs2-160120030228
Embedded application designed by ATS language]]>
Embedded application designed by ATS language]]> Wed, 20 Jan 2016 03:02:28 GMT /slideshow/embedded-application-designed-by-ats-language/57257808 master_q@slideshare.net(master_q) Embedded application designed by ATS language master_q Embedded application designed by ATS language <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/2016012013thwocs2-160120030228-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Embedded application designed by ATS language
Embedded application designed by ATS language from Kiwamu Okabe
]]> 5805 5 https://cdn.slidesharecdn.com/ss_thumbnails/2016012013thwocs2-160120030228-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Safer IoT using functional language /slideshow/safer-iot-using-functional-language/57047794 20160114iotlt-160114105000
Safer IoT using functional language]]>
Safer IoT using functional language]]> Thu, 14 Jan 2016 10:50:00 GMT /slideshow/safer-iot-using-functional-language/57047794 master_q@slideshare.net(master_q) Safer IoT using functional language master_q Safer IoT using functional language <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20160114iotlt-160114105000-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Safer IoT using functional language
Safer IoT using functional language from Kiwamu Okabe
]]> 2360 5 https://cdn.slidesharecdn.com/ss_thumbnails/20160114iotlt-160114105000-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Smart.js: JavaScript engine running on tiny MCU /slideshow/smartjs-javascript-engine-running-on-tiny-mcu/56120740 20151214smartjs-151214114920
Smart.js: JavaScript engine running on tiny MCU]]>
Smart.js: JavaScript engine running on tiny MCU]]> Mon, 14 Dec 2015 11:49:20 GMT /slideshow/smartjs-javascript-engine-running-on-tiny-mcu/56120740 master_q@slideshare.net(master_q) Smart.js: JavaScript engine running on tiny MCU master_q Smart.js: JavaScript engine running on tiny MCU <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/20151214smartjs-151214114920-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Smart.js: JavaScript engine running on tiny MCU
Smart.js: JavaScript engine running on tiny MCU from Kiwamu Okabe
]]> 6674 5 https://cdn.slidesharecdn.com/ss_thumbnails/20151214smartjs-151214114920-thumbnail.jpg?width=120&height=120&fit=bounds presentation 000000 http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://cdn.slidesharecdn.com/profile-photo-master_q-48x48.jpg?cb=1666944385 I launched my career on developing embedded devices at Ricoh Company, Ltd.[0], and also learned application design using functional language such like Haskell[1]. I found Metasepi project[2] what is trying to apply strong type to embedded programming. For my first challenging, I developed an embedded Haskell compiler named Ajhc[3], and published some research papers[4]. Today, I choose ATS[5] language as embedded functional language, and found Japan ATS User Group[6] what holds Japanese translations about the language. And I'm implementing these technology on tiny MCU[7] such like ARM Cortex-M series[8] and 8bit AVR[9] for practical use. Metasepi is very experimental and ambitious proje... masterq.metasepi-design.com/ https://cdn.slidesharecdn.com/ss_thumbnails/output-180331063649-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/an-ocaml-newbie-meets-camlp4-parser/92452452 An OCaml newbie meets ... https://cdn.slidesharecdn.com/ss_thumbnails/20170807rikenaics-170807074928-thumbnail.jpg?width=320&height=320&fit=bounds master_q/past-and-today-of-metasepi-project Past and today of Meta... https://cdn.slidesharecdn.com/ss_thumbnails/20170806verifaststm32osaka-170806002717-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/handson-verifast-with-stm32-microcontroller-osaka/78599378 Hands-on VeriFast with...