Abstract: With the rapid development of information technologies, the security of cyberspace has become increasingly serious. Network intrusion detection is a practical scheme to protect network ...

This repository contains a proof-of-concept implementation that uses symbolic execution and SMT solving to detect type errors in programs with complex type hierarchies, generics, and union types.

Abstract: Class E inverters are widely used in very high-frequency power converters due to their ease of driving, their high efficiency, and their low component count. A generic design method ...