The following pages link to Jorge Sousa Pinto (Q465684):
Displaying 21 items.
- Verification conditions for source-level imperative programs (Q465685) (← links)
- (Q793684) (redirect page) (← links)
- Sampling expansions and generalized translation invariance (Q793685) (← links)
- Encoding linear logic with interaction combinators (Q1854547) (← links)
- Assertion-based slicing and slice graphs (Q1941855) (← links)
- Rigorous software development. An introduction to program verification. (Q1960262) (← links)
- A tribute to José Manuel Valença (Q2168787) (← links)
- Formal verification of side-channel countermeasures using self-composition (Q2442950) (← links)
- (Q2778835) (← links)
- (Q2778889) (← links)
- Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach (Q2802468) (← links)
- Weak reduction and garbage collection in interaction nets (Q2844066) (← links)
- A local graph-rewriting system for deciding equality in sum-product theories (Q2867904) (← links)
- Token-passing nets for functional languages (Q2873684) (← links)
- A Bounded Model Checker for SPARK Programs (Q3457776) (← links)
- A Framework for Point-Free Program Transformation (Q3623946) (← links)
- (Q4508308) (← links)
- (Q5472878) (← links)
- A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3 (Q6156936) (← links)
- Testing for Race Conditions in Distributed Systems via SMT Solving (Q6487263) (← links)
- A Lotka-Volterra-type model analyzed through different techniques (Q6617903) (← links)