Search

Your search keyword '"Formal verification"' showing total 18,939 results

Search Constraints

Start Over You searched for: Descriptor "Formal verification" Remove constraint Descriptor: "Formal verification"
18,939 results on '"Formal verification"'

Search Results

1. Analysis of crypto module in RIOT OS using Frama-C.

2. Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers.

3. 基于信任评估的卫星物联网终端认证方法.

4. Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool.

5. An optimal secure and reliable certificateless proxy signature for industrial internet of things.

6. A Review of Abstraction Methods Toward Verifying Neural Networks.

7. Timed Automata-Based Strategy for Controlling Drone Access to Critical Zones: A UPPAAL Modeling Approach.

8. Satellite IoT terminal authentication method based on trust evaluation

10. Extracting Formal Smart-Contract Specifications from Natural Language with LLMs

12. Enabling Behaviour Tree Verification via a Translation to BIP

13. Social Control and Interactivity in Anonymous Public Events

14. Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking

15. Formal Analysis of Vehicular Crash Severity Using KeYmaera X

16. Unifying Syntactic and Semantic Abstractions for Deep Neural Networks

17. Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance

18. Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges

19. Neural Network Verification Accelerated by a Novel Abstract Framework

21. Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ

23. An Overview of Formal Verification of Network-on-Chip (NoC) Methods

24. A Model-Based Approach for the Transformation and Verification of an IoRT-Aware Business Process

25. Picky CDCL: SMT-Solving with Flexible Literal Selection

26. Formally Certified Approximate Model Counting

29. Synthesis of Boolean Networks with Weak and Strong Regulators

30. Ten Years of Industrial Experiments with Frama-C at Mitsubishi Electric R&D Centre Europe

31. Exploring Frama-C Resources by Verifying Space Software

32. Formal Verification of Neural Networks: A 'Step Zero' Approach for Vehicle Detection

33. Verifying Autoencoders for Anomaly Detection in Predictive Maintenance

34. Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL

35. Verifying a Realistic Mutable Hash Table : Case Study (Short Paper)

37. Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts

38. Formally Verifying a Rollback-Prevention Protocol for TEEs

39. Formal Verification of Conventionally Qualified Safety Critical Systems

40. Formal Verification of Sequence Diagram with State Invariants Using Timed Automata

42. Formal Modeling and Verification of the Design Layer of Space Operating Systems

44. Can ChatGPT support software verification?

46. Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives

47. Comparison of Ethereum Smart Contract Analysis and Verification Methods

48. OpenBSD Formal Driver Verification with SeL4

50. Formal Verification of a Post-quantum Signal Protocol with Tamarin

Catalog

Books, media, physical & digital resources