When you use VoxLogicA, your source code
typically is in the order of 10-30 lines of code (yes, we didn't add
any "K" after the numbers).
The language of VoxLogicA is close to the
domain of imaging, featuring constructs like
We have tested our approach on the BraTS dataset for glioblastoma segmentation. Our method is described in 10 lines of text and runs in seconds on a standard desktop. Its accuracy is similar to that of humans, and of best-in-class machine learning algorithms.Got curious? Read our TACAS 2019 publication
Inside VoxLogicA, there's a powerful computational engine called a Model Checker. VoxLogicA computes your analysis in parallel using all the available CPU cores. The result is implicitly backed up by a formal mathematical interpretation, guaranteed to yield the same result on Windows, Linux, OSX.
It does not take a lot to learn how to use VoxLogicA. Analysis is so short that you can share it to your colleagues, even in a chat window.