1 citations · 1 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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…