ACSL - PDFSEARCH.IO - Document Search Engine

ACSL
Results: 101

#	Item
21	ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.3, July 11, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:00 C programming language ANSI/ISO C Specification Language Procedural programming languages Frama-C Java Modeling Language KeY SQL Programming language C Computing Software engineering Computer programming
22	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
23	ACSL Version 1.6 Implementation in Oxygen ACSL: ANSI/ISO C Specication Language Version 1.6 Oxygen Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 Data types C++ Pointer C Predicate Logic programming Pascal Function Dangling pointer Software engineering Computing Computer programming
24	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
25	ACSL-6xx0 Multi-Channel and Bi-Directional, 15 MBd Digital Logic Gate Optocoupler Data Sheet Description ACSL-6xx0 are truly isolated, Add to Reading List Source URL: www.ieap.uni-kiel.de Language: English - Date: 2007-09-27 02:14:48 Electronic circuits Analog-to-digital converter Opto-isolator Surface-mount technology Electronic amplifier Electronic engineering Electronics Electromagnetism
26	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
27	ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.2, April 30, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:00 C programming language ANSI/ISO C Specification Language Java Modeling Language Frama-C KeY Programming language C SQL Logic programming Computing Software engineering Computer programming
28	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Software Software requirements Embedded systems Safety DO-178C DO-178B Frama-C Formal verification Verification Software development Avionics Computing
29	ACSL Version 1.5 Implementation in Carbon+dev ACSL: ANSI/ISO C Specification Language Version 1.5 – Carbon+dev Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 Data types C programming language C++ Pointer C ANSI/ISO C Specification Language Pascal Logic programming Predicate Software engineering Computing Computer programming
30	ACSL Version 1.8 Implementation in Neon ACSL: ANSI/ISO C Specication Language Version 1.8 Neon Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:15 Data types Pointer C Predicate Logic programming Pascal Dangling pointer Software engineering Computing Computer programming

UPDATE