10 results on '"Prevosto, Virgile"'
Search Results
2. Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars
3. Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking
4. Testing Languages with a Languages-as-Databases Approach
5. BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries
6. Symbolic Observation Graph-Based Generation of Test Paths
7. Low-Level Reachability Analysis Based on Formal Logic
8. Certified Logic-Based Explainable AI – The Case of Monotonic Classifiers
9. Context Specification Language for Formally Verifying Consent Properties on Models and Code
10. Proving Properties of Operation Contracts with Test Scenarios
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.