Trevor Jagerfield

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The lack of formal system specifications is a major obstacle to the widespread adoption of formal verification techniques in industrial settings. Specification patterns represent a promising approach that can fill this gap by enabling non-expert practitioners to write formal specifications based on reusing solutions to commonly occurring problems. Despite(More)
  • 1