Search

Your search keyword '"Prevosto, Virgile"' showing total 169 results

Search Constraints

Start Over You searched for: "Prevosto, Virgile" Remove constraint "Prevosto, Virgile"
169 results on '"Prevosto, Virgile"'

Search Results

1. The Art of Developing Frama-C Plug-ins

2. Specification and Verification of High-Level Properties

3. The Heart of Frama-C: The Frama-C Kernel

4. Formally Expressing What a Program Should Do: The ACSL Language

5. Certified Verification of Relational Properties

6. Proceedings Fifth Workshop on Formal Integrated Development Environment

7. An Efficient VCGen-Based Modular Verification of Relational Properties

8. MetAcsl: Specification and Verification of High-Level Properties

9. Proceedings 4th Workshop on Formal Integrated Development Environment

10. Left-eigenvectors are certificates of the Orbit Problem

11. Static and Dynamic Verification of Relational Properties on Self-Composed C Code

12. Freeing Testers from Polluting Test Objectives

14. Detection of Polluting Test Objectives for Dataflow Criteria

15. Synthesizing invariants by solving solvable loops

16. Polynomial invariants by linear algebra

17. Generic and Effective Specification of Structural Test Objectives

18. RPP: Automatic Proof of Relational Properties by Self-Composition

21. An Efficient VCGen-based Modular Verification of Relational Properties

22. Teaching Formal Methods to Future Engineers

23. Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties

24. MetAcsl: Specification and Verification of High-Level Properties

25. RPP: Automatic Proof of Relational Properties by Self-composition

26. Synthesizing Invariants by Solving Solvable Loops

27. Symbolic Execution of Transition Systems with Function Summaries

31. Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

34. A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper

35. Frama-C : A Software Analysis Perspective

36. Testing Static Analyzers with Randomly Generated Programs

37. The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platform.

41. Proof Contexts with Late Binding

42. Algebraic Structures and Dependent Records

50. Frama-C

Catalog

Books, media, physical & digital resources