Polyspace - PDFSEARCH.IO - Document Search Engine

Polyspace
Results: 13

#	Item
1	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 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:26 Abstract interpretation Software testing AbsInt Fluctuat Astre Formal methods Radhia Cousot Static program analysis Patrick Cousot Formal verification Simulink Polyspace
2	Frama-C Training Session Introduction to ACSL and its GUI Virgile Prevosto CEA List October 21st , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 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
3	Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version) Add to Reading List Source URL: liu.diva-portal.org Language: English - Date: 2010-07-16 02:44:55 Computing Data types Type theory Procedural programming languages Polyspace Abstract interpretation Static program analysis Type system Aliasing Program analysis Software engineering Programming language theory
4	DAEDALUS ∗ Validation of Critical Software by Static Analysis and Abstract Testing Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2002-12-20 10:55:12 Software Polyspace Science Embedded systems Model checking Software verification Abstract interpretation Worst-case execution time Software development process Software development Software testing Formal methods
5	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] Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:11:33 Program analysis Data types Software testing Abstract interpretation Static program analysis Patrick Cousot Software verification Type system Polyspace Software engineering Programming language theory Computing
6	Testing Static Analysis Tools using ∗ Exploitable Buffer Overflows from Open Source Code Misha Zitser Richard Lippmann Add to Reading List Source URL: www.ll.mit.edu Language: English - Date: 2008-02-06 16:36:20 Software bugs Cross-platform software Buffer overflow Polyspace Splint Vulnerability Circular buffer PaX C Computing Software engineering Software
7	Microsoft Word - Kratkiewicz-Lippmann[removed]NIST-Longbeach-Workshop-V5.doc Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:56:16 Computer programming Cross-platform software Buffer overflow Stack buffer overflow Polyspace Circular buffer C Splint PaX Computing Software engineering Software bugs
8	1-4-page_HR_Ad_FULL-COLOR_4[removed]psd Add to Reading List Source URL: www.crosstalkonline.org Language: English - Date: 2014-11-02 15:48:44 Procedural programming languages Ada programming language Program analysis SPARK Polyspace Static program analysis Coding conventions MISRA C Ada Computing Software engineering Computer programming
9	STATIC VERIFICATION OF DYNAMIC PROPERTIES Dr. Alain Deutsch Chief Technical Officer Add to Reading List Source URL: nesl.ee.ucla.edu Language: English - Date: 2005-10-01 21:19:04 Polyspace Program analysis Software testing Ada Programming language Formal methods Logic in computer science Static program analysis Dynamic program analysis Computing Software engineering Programming language theory
10	Software Quality Objectives for Source Code A. Patrick Add to Reading List Source URL: web1.see.asso.fr Language: English - Date: 2013-01-24 07:01:06 Software quality Quality Polyspace Software testing Software quality model Reliability engineering ISO Software MISRA C Software engineering Computing Computer programming