Search
Search Results
-
Smell and Taste-Based Interactions Enabled Through Advances in Digital Technology
Innovations around smell and taste interfaces are quickly emerging in the literature and practice, they include fully controllable sensory delivery...
-
Ten Years of Industrial Experiments with Frama-C at Mitsubishi Electric R&D Centre Europe
Mitsubishi Electric R &D Centre Europe (MERCE), the advanced European research laboratory of Mitsubishi Electric group, has been carrying research...
-
Combining Analyses Within Frama-C
Combinations of analysis techniques and tools can help verification engineers to achieve their goals. The Frama-C verification platform offers a...
-
Specification and Verification of High-Level Properties
The ACSL specification language allows the verification engineer to specify almost any property they might want to verify at any given point in a...
-
The Heart of Frama-C: The Frama-C Kernel
This chapter provides an overview of the Frama-C distribution, including its main plugins that are covered in depth by other chapters. It mainly...
-
Analysis of Embedded Numerical Programs in the Presence of Numerical Filters
This chapter presents how Frama-C verifies some complex loop invariant for numerical embedded code and how to produce such invariants. Numerical...
-
Tools for Program Understanding
Frama-C can operate as an exploration framework: several plug-ins and scripts have been created to enable tool-assisted code exploration and...
-
An Exercise in Mind Reading: Automatic Contract Inference for Frama-C
Using tools for deductive verification, such as Frama-C, typically imposes substantial work overhead in the form of manually writing annotations. In...
-
Formally Verifying that a Program Does What It Should: The Wp Plug-in
This chapter presents how to prove ACSL properties of C programs with the WpWp plug-in of Frama-C using deductive verification and SMT solvers or...
-
Right and Wrong: Ten Choices in Language Design
A description of language design choices that have a profound effect on software quality, criticism of how ordinary OO languages addressed them, and...
-
From Procedures, Objects, Actors, Components, Services, to Agents
The objective of this chapter is to propose some retrospective analysis of the evolution of programming abstractions, from procedures, objects,...
-
Some Remarks About Dependent Type Theory
The goal of this chapter is to describe a calculus designed in 1984/1985. This calculus was obtained by applying the ideas introduced by N.G. de...
-
Semantics and Syntax, Between Computer Science and Mathematics
This text recounts my scientific itinerary from the late 1970s up to now, as I view it today, as well as the context in which it took place. The...
-
Exam Set A: Answers
This chapter lists all the answers to the questions included in chapter “Exam Set A”—not only providing the correct answer but also explaining why...
-
Additional Sample Questions—Answers
This chapter lists all the answers to the questions included in chapter “Additional Sample Questions”—not only providing the correct answer but also...
-
Foundation Level Exam
This chapter provides a short overview of the exam rules and structure for the ISTQB® Foundation Level certificate.
-
Chapter 3 Static Testing
This chapter presents the basics of static testing (and the difference compared with dynamic testing) as well as the corresponding feedback and...
-
Chapter 2 Testing Throughout the Software Development Life Cycle
This chapter describes the different test levels and test types during the software development life cycle, including later maintenance testing.
-
Chapter 1 Fundamentals of Testing
This chapter defines what is meant by “testing”; describes the related principles, activities, and roles; and lists essential skills and best...
-
Driver Efficiency and Software: Influence on Vehicle-to-Building
Energy consumption in the transport sector and in buildings are of great concern. This research aims to quantify how eco-routing (ER), eco-driving...