The following pages link to Static Analysis (Q5466565):
Displaying 12 items.
- BLAST (Q15473) (← links)
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Competent predicate abstraction in model checking (Q543199) (← links)
- Predicate abstraction in a program logic calculus (Q549686) (← links)
- Interprocedural and flow-sensitive type analysis for memory and type safety of C code (Q835770) (← links)
- A compiler for MSVL and its applications (Q1630985) (← links)
- Experience of improving the BLAST static verification tool (Q1758710) (← links)
- Theory and practice of unparsed patterns for metacompilation (Q2266943) (← links)
- A compositional behavioral modeling framework for embedded system design and conformance checking (Q2506261) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Transactional Reduction of Component Compositions (Q3612363) (← links)
- Verifying Reference Counting Implementations (Q3617768) (← links)