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