1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.SE2023★ 1 cited
Case studies of development of verified programs with Dafny for accessibility assessment
João Pascoal Faria, Rui Abreu
Formal verification techniques aim at formally proving the correctness of a computer program with respect to a formal specification, but the expertise and effort required for apply…
cs.SE2020
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
Bruno Lima, João Pascoal Faria
To ensure interoperability and the correct behavior of heterogeneous distributed systems in key scenarios, it is important to conduct automated integration tests, based on distribu…
cs.CY2019
A survey of blockchain frameworks and applications
Bruno Tavares, Filipe Figueiredo Correia, André Restivo +2
The applications of the blockchain technology are still being discov-ered. When a new potential disruptive technology emerges, there is a tendency to try to solve every problem wit…