Artur Oliveira Gomes

Learn More
The International Grand Challenge project on Verified Software is a long-term research program involving people from all over the world and is aimed to stimulate the creation of new theories and tools to be applied on industrial-scale problems. One of the challenges proposed is to make a formal development of a cardiac pacemaker. In this paper, we present a(More)
We are proposing the implementation of a verified tool capable of translating Circus programs into CSPM allowing the user to perform model checking using existing tools such as FDR. In this paper, we discuss some existing strategies for a manual translation and then we summarise the steps required in order to produce and verify the implementation of a(More)
  • 1