Johnny L. da Silva

Learn More
It is widely known that errors discovered in advanced stages of a project are expensive to fix. Therefore, it is important to look for errors as soon as possible within the design cycle. This work addresses the early verification of embedded and real-time systems based on testing the behavior specified in the high-level specifications. A tool to automate(More)
  • 1