The following pages link to Jorge Sousa Pinto (Q465684):
Displayed 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)
- (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)
- Why3-do: the way of harmonious distributed system proofs (Q6166787) (← links)
- A Lotka-Volterra type model analyzed through different techniques (Q6441145) (← links)