New generation of DiVinE tool allowing for significant acceleration of model checking process by full utilization of modern massively parallel architectures. The tool is effectively utilizing the CUDA technologie.
New generation of DiVinE tool allowing for significant acceleration of model checking process by full utilization of modern massively parallel architectures. The tool is effectively utilizing the CUDA technologie. (en)