Our tool PSCV will be presented at the 28th International Conference on Computer Aided Verification (CAV 2016) at Toronto, Ontario, Canada. For more details visit the tool’s website.
Hyperlexia
Embedded real-time safety-critical SW, embedded Linux, OS kernel and hypervisor development, deploying ML models on embedded systems, programming languages and compilers development with LLVM, MLIR.