Formal verification
Top View
- MODELS for SOFTWARE VERIFICATION: PROVING PROGRAM CORRECTNESS Boro Sitnikovski1 Lidija Goracinova-Ilieva Biljana Stojcevska Soft
- Formal Verification Using
- Proof Assistants: History, Ideas and Future
- Formal Verification of Concurrent Embedded Software
- Applying Formal Methods to Networking [18]
- A Practical Approach to Interval Refinement for Math. H/Cmath Functions
- Formal Verification of an Autonomous Grasping
- Testing Microcontroller Software Simulators
- Formal Proof—Theory and Practice John Harrison
- Formal Verification in Industrial Setting
- Incremental Formal Verification of Hardware
- Formal Verification
- Formal Analysis and Verification of Airborne Software Based on DO-333
- Formal Verification of Distributed Algorithms Philipp Küfner, Uwe Nestmann, Christina Rickmann
- Architecture-Centric Modeling, Analysis, and Verification of Cyber
- Teaching Formal Methods Through Frama-C & SPARK
- Hierarchy-Preserving Formal Verification Methods for Pre-Silicon
- Specification of Model-Based Analysis Methods and Tools D WP2.4 2