Jorge Sousa Pinto

Available identifiers

Publication	Date of Publication	Type
Why3-do: the way of harmonious distributed system proofs	2023-08-03	Paper
A Lotka-Volterra type model analyzed through different techniques	2023-06-22	Paper
A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3	2023-06-19	Paper
A tribute to José Manuel Valença	2022-08-26	Paper
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach	2016-04-26	Paper
A Bounded Model Checker for SPARK Programs	2015-12-17	Paper
Verification conditions for source-level imperative programs	2014-10-24	Paper
Formal verification of side-channel countermeasures using self-composition	2014-04-02	Paper
Token-passing Nets for Functional Languages	2014-01-24	Paper
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories	2013-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q2844066	2013-08-27	Paper
Assertion-based slicing and slice graphs	2013-03-22	Paper
Rigorous software development. An introduction to program verification.	2010-10-13	Paper
A Framework for Point-Free Program Transformation	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q5472878	2006-06-19	Paper
Encoding linear logic with interaction combinators	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2778835	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2778889	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4508308	2000-10-03	Paper
Sampling expansions and generalized translation invariance	1984-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jorge Sousa Pinto