Astrée - PDFSEARCH.IO - Document Search Engine

Astrée
Results: 43

#	Item
11	´ Analyzer The ASTREE Patrick Cousot 2 , Radhia Cousot 1,3 , Jerˆ ome Feret 2 , Laurent Mauborgne 2 , 2 Antoine Min´e , David Monniaux 1,2 & Xavier Rival 2 Add to Reading List Source URL: www.di.ens.fr - Date: 2005-07-03 09:40:17
12	Domenica 23 ottobre 2011, ore 12 L’ASTRÉE. GRUPPO CAMERISTICO DELL’ACADEMIA MONTIS REGALIS GABRIELLA COSTA, soprano FRANCESCO D’ORAZIO, violino Add to Reading List Source URL: www.quirinale.it Language: Italian - Date: 2011-09-30 10:43:21
13	Astr´ee: Building a Static Analyzer for Real-Life Programs Antoine Min´e ´ CNRS & Ecole normale sup´ Add to Reading List Source URL: research.ihost.com Language: English - Date: 2010-06-09 16:47:59 Analysis Mind Science Philosophy of mind Abstract interpretation Astrée Model checking
14	Astrée Proving the Absence of Runtime Errors AbsInt GmbH 2012 Add to Reading List Source URL: www.absint.com Language: English - Date: 2012-04-23 04:44:53 Software Avionics Embedded systems Software testing DO-178B Astrée Functional Safety DO-178C Software development process Software development Safety Software requirements
15	www.dspace.com Safely Excluding Serious Errors Translation of “Schwere Fehler sicher ausschließen” Published at: Elektronik Automotive Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-11-19 10:20:55 Software bugs Abstract interpretation Astrée Embedded systems Program analysis Cross-platform software Worst-case execution time TargetLink Static program analysis Computing Software engineering Computer programming
16	The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’UlmParis cedex 05, France Patrick.Cousot@ ens.fr Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-08-12 12:15:34 Abstract interpretation Astrée Applied mathematics Computer science Formal verification Patrick Cousot Programming language Abstraction Semantics of programming languages Formal methods Theoretical computer science Logic in computer science
17	CURRICULUM VITÆ Personal Information ´ ro ˆ me Last Name: FERET First Name: Je Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-08 09:17:10 Face recognition Grandes écoles FERET Programming language theory Écoles Normales Supérieures École Normale Supérieure Static program analysis Software engineering Artificial intelligence Abstract interpretation Astrée Patrick Cousot
18	ASTRÉE : Analyse Statique de logiciels Temps-RÉel Embarqués Principe de base Objectifs Add to Reading List Source URL: www.di.ens.fr Language: French - Date: 2002-09-30 12:07:21
19	Proving the Absence of Run-Time Errors in Safety-Critical Avionics Code Patrick Cousot École normale supérieure, 45 rue d’Ulm, 75230 Paris cedex 05, France , www.di.ens.fr/ cousot Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2007-07-02 03:28:12 Abstract interpretation Astrée Patrick Cousot ALGOL 68 Abstraction Program analysis Symbolic computation SAS Programming language theory Software engineering Computing
20	aiT Worst-Case Execution Time Analyzer AbsInt GmbH 2012 Add to Reading List Source URL: www.absint.com Language: English - Date: 2012-04-23 04:44:53 Computing Electronics Avionics Software requirements Formal methods DO-178B Worst-case execution time Astrée DO-178C Software development Embedded systems Safety