The following pages link to (Q4531754):
Displaying 22 items.
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- Finding and fixing faults (Q414907) (← links)
- Verification of multi-linked heaps (Q439948) (← links)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- Formal verification of C systems code. Structured types, separation logic and theorem proving (Q835768) (← links)
- An abstract interpretation toolkit for \(\mu\)CRL (Q883139) (← links)
- Implementation and analysis of real-time communication protocol compositions (Q995821) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- Syntax-directed model checking of sequential programs (Q1858441) (← links)
- Translating Xd-C programs to MSVL programs (Q2290648) (← links)
- Specification and verification of concurrent programs through refinements (Q2351261) (← links)
- Verification of SpecC using predicate abstraction (Q2369884) (← links)
- Program verification with interacting analysis plugins (Q2642983) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- View-Augmented Abstractions (Q2814101) (← links)
- New Challenges in Model Checking (Q3512433) (← links)
- Splitting the Control Flow with Boolean Flags (Q3522080) (← links)
- Tutorial on Model Checking: Modelling and Verification in Computer Science (Q3599190) (← links)
- Could We Have Chosen a Better Loop Invariant or Method Contract? (Q3637252) (← links)
- Falsifying Safety Properties Through Games on Over-approximating Models (Q4982087) (← links)
- Verifying Multithreaded Recursive Programs with Integer Variables (Q5179057) (← links)
- Extending Model Checking with Dynamic Analysis (Q5452713) (← links)
