Foretellix

Foretellix has developed a comprehensive verification framework for intelligent autonomous systems (IAS), with an emphasis on autonomous vehicles. The framework is based on approaches used in VLSI chip design, adapted and enhanced to meet the needs of IA...