Work

New Results - Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée

Year: 2016

Type: article

Authors: Antoine Miné, Laurent Mauborgne, Xavier Rival, Jérôme Ferêt, Patrick Cousot, Daniel L. Kastner, Stephan Wilhelm, Christian Ferdinand

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2648723085

FWCI:

Cites:

Cited by:

Related to: 10