MENU

There are 16 results for formal-methods

Code Metal raises $16.5M for edge AI tool
Code Metal raises $16.5M for edge AI tool
Business news | - By Nick Flaherty
Code Metal in Boston has raised $16.5m for its software development platform that integrates traditional formal-methods-based code analysis with custom…
AI startup secures seed funding to drive edge development
AI startup secures seed funding to drive edge development
Business news | - By Jean-Pierre Joosting
Seed funding to pioneer next-generation edge AI development with formal methods and large language model agents.
Siemens adds key formal methods to software verification tool
Siemens adds key formal methods to software verification tool
New Products | - By Nick Flaherty
Siemens Digital Industries Software has launched two high level C++ software verification enhancements it describes as breakthroughs. The latest version…
Thales teams for safety critical AI in space
Thales teams for safety critical AI in space
Business news | - By Nick Flaherty
Thales Alenia Space has signed a deal with Italian startup Aiko for AI software in space applications. Aiko, based in…
OQ Technology taps Alif for NB-IoT satellite
OQ Technology taps Alif for NB-IoT satellite
Business news | - By Nick Flaherty
OQ Technology has signed a deal with Alif Semiconductor for microcontrollers on its IoT satellite. The Luxembourg-based satellite developer is…
€5m project aims for autonomous software that is correct by construction
€5m project aims for autonomous software that is correct by construction
Technology News | - By Nick Flaherty
Embedded software specialist Vector is supporting an EU project to develop a framework for prototyping embedded software for autonomous systems…
Hubble space telescope restored after failure
Hubble space telescope restored after failure
Technology News | - By Nick Flaherty
NASA has successfully re-started the Hubble Space Telescope after a month long shutdown…
Transforming uncertain control systems
Transforming uncertain control systems
Technology News | - By Nick Flaherty
A team at NII in Japan and the University of Waterloo have developed an automated two step formal method to…
UK aims to be first European country for space launches
UK aims to be first European country for space launches
Business news | - By Nick Flaherty
Legislation to the UK Parliament will allow licenses for launches from 2022 from four sites, the first in Europe…
Oneweb leads £32m beam hopping satellite project
Oneweb leads £32m beam hopping satellite project
Technology News | - By Nick Flaherty
A group of UK companies have been awarded £32m (€37m) to develop a beam hopping satellite system for OneWeb's second generation…
  • 1
  • 2


10s