Formal Methods



Formal methods is a generic term for different mathematically based methods that can be used for developing technical systems. Formal methods may be used for specification, verification, validation, simulation, test case generation, code generation etc.


Formal methods result in a process where different activities are carried out with greater precision, greater coverage and higher efficiency than when carried out with manual methods.


We at Nya Industrilogik have long experience in combining formal methods with traditional methods in such a way that every method does justice to itself.






Nya Industrilogik  2009