<--- Back to Details
First PageDocument Content
Polyspace / Software testing / Formal methods / Logic in computer science / Formal verification / Cross-platform software / Software verification / Abstract interpretation / Programming language / Computing / Software engineering / Programming language theory
Date: 2012-04-16 06:04:40
Polyspace
Software testing
Formal methods
Logic in computer science
Formal verification
Cross-platform software
Software verification
Abstract interpretation
Programming language
Computing
Software engineering
Programming language theory

Add to Reading List

Source URL: subs.emis.de

Download Document from Source Website

File Size: 135,65 KB

Share Document on Facebook

Similar Documents

Abstract interpretation / Software testing / AbsInt / Fluctuat / Astre / Formal methods / Radhia Cousot / Static program analysis / Patrick Cousot / Formal verification / Simulink / Polyspace

SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma

DocID: 1ovhQ - View Document

ANSI/ISO C Specification Language / C programming language / Frama-C / Program logic / Logic in computer science / Formal sciences / Hoare logic / Logic / Polyspace / Software engineering / Computer programming / Computing

Frama-C Training Session Introduction to ACSL and its GUI Virgile Prevosto CEA List October 21st , 2010

DocID: 18LvA - View Document

Computing / Data types / Type theory / Procedural programming languages / Polyspace / Abstract interpretation / Static program analysis / Type system / Aliasing / Program analysis / Software engineering / Programming language theory

Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version)

DocID: 11fpO - View Document

Software / Polyspace / Science / Embedded systems / Model checking / Software verification / Abstract interpretation / Worst-case execution time / Software development process / Software development / Software testing / Formal methods

DAEDALUS ∗ Validation of Critical Software by Static Analysis and Abstract Testing

DocID: YWRk - View Document

Program analysis / Data types / Software testing / Abstract interpretation / Static program analysis / Patrick Cousot / Software verification / Type system / Polyspace / Software engineering / Programming language theory / Computing

Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed]

DocID: XTXt - View Document