Frama-C - PDFSEARCH.IO - Document Search Engine

Frama-C
Results: 134

#	Item
131	INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo Add to Reading List Source URL: cerco.cs.unibo.it Language: English - Date: 2013-05-14 11:38:47 Ubuntu Logic in computer science Frama-C Formal methods Debian Proof assistant Isabelle Deb Theorem prover Software Dpkg Automated theorem proving
132	Use of formal methods in embedded software development: stakes, constraints and proposal Anthony Fernandes Pires∗† , Thomas Polacsek† , Virginie Wiels† and St´ephane Duprat∗ ∗ Atos Int´egration SAS, 6 impa Add to Reading List Source URL: www.erts2014.org Language: English - Date: 2014-01-10 03:51:09 Computing Systems engineering Software testing ANSI/ISO C Specification Language C programming language Software quality Frama-C Formal verification DO-178B Software development Formal methods Software
133	ACSL By Example Towards a Verified C Standard Library Add to Reading List Source URL: www.fokus.fraunhofer.de Language: English - Date: 2013-12-13 09:57:19 Software Formal methods Generic programming Algorithm Mathematical logic Theoretical computer science Stack Predicate transformer semantics Frama-C Mathematics C++ Standard Library Computing
134	ACSL By Example Towards a Verified C Standard Library Add to Reading List Source URL: www.fokus.fraunhofer.de Language: English - Date: 2012-09-02 18:05:19 Software engineering Formal methods Abstract data types Generic programming Algorithm Mathematical logic Predicate transformer semantics Frama-C Stack Mathematics Computing C++ Standard Library