L. J. G. Bun

  • Citations Per Year
Learn More
It is generally accepted that development of requirement models for real-time systems beneets from formal speciications. In order to be able to evaluate notations for use in the development of real-time software systems, we are performing a comparative review of some selected speciication notations. The study emphasizes the use of the notations in the(More)
A prerequisite for successful software development is the availability of a complete and consistent software requirements specification. One way to asses the correctness of requirements specifications is the application of formal verification. Recently, the verification tool Uppaal [12, 16] has become available. Uppaal performs automatic verification of(More)
  • 1