A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
2018
Electronic Proceedings in Theoretical Computer Science
In the last years Node.js has emerged as a framework particularly suitable for implementing lightweight IoT applications, thanks to its underlying asynchronous event-driven, non blocking I/O model. However, verifying the correctness of programs with asynchronous nested callbacks is quite difficult, and, hence, runtime monitoring can be a valuable support to tackle such a complex task. Runtime monitoring is a useful software verification technique that complements static analysis and testing,
doi:10.4204/eptcs.264.4
fatcat:6mhzi276qbbrfhmg4fryjzqwfa