Cited in
(33)- I'm stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulations
- Automated Technology for Verification and Analysis
- scientific article; zbMATH DE number 1252005 (Why is no real title available?)
- Introduction to assembly language programming. For Pentium and RISC processors.
- Distributed verification of multi-threaded C++ programs
- Reversible computing from a programming language perspective
- scientific article; zbMATH DE number 2108364 (Why is no real title available?)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
- Application of static analyses for state-space reduction to the microcontroller binary code
- AutoCAD
- StEAM
- SketchUp
- Limmat
- jEdit
- iJulienne
- Insure++
- Nighthawk
- SPARK Pro
- GMV
- CodeSonar
- Klockwork
- EXPLODE
- SyReC
- GeRa
- MSTK
- LRinv
- drmemory
- ROOPLPPC
- Linux system programming.
- Dynamic incremental hashing in program model checking
- Numerical modelling via INMOST software platform
- Using static analysis to reduce dynamic analysis overhead
- Interactive simplifier tracing and debugging in Isabelle
This page was built for software: GDB
