Cogent

swMATH1300MaRDI QIDQ14040FDOQ14040

Author name not available (Why is that?)

Described by source

• Computer Aided Verification

Cited In (10)

• Refinement through restraint: bringing down the cost of verification
• Tools and Algorithms for the Construction and Analysis of Systems
• Deciding Bit-Vector Arithmetic with Abstraction
• SAT-Based Model Checking
• High-order finite-volume modeling of drift waves
• Specification and verification challenges for sequential object-oriented programs
• Model Checking Software
• High-order discretization of a gyrokinetic Vlasov model in edge plasma geometry
• Verification of SpecC using predicate abstraction
• Generating Unit Tests from Formal Proofs

This page was built for software: Cogent