Patent ID: 9223685
Filing Date: 2015-12-29
Classification: G06F

Abstract:
1. A method for validating a specification associated with a software application and/or a hardware, the method comprising: receiving, by a processor, the specification comprising expected behaviour requirements specified in a specification language and semantics in a tabular notation, wherein the expected behaviour requirements indicate a behaviour expected from the software application and/or the hardware; identifying, by the processor, a string comprising one or more characters from the specification, wherein the string indicates the one or more characters conforming to the specification language; generating, by the processor, a token using the string, wherein the token is a binary representation of the string; arranging, by the processor, the token into a data structure, wherein the data structure is indicative of an actual behaviour of the software application and/or the hardware; and checking, by the processor, the specification conforming to the specification language, wherein the specification is checked in order to generate a validated specification.