Computer software for verification of software code and software protocols by and for computer software developers; computer software for assisting developers in verifying program code and software protocols for use in multiple applications

'applic':33 'assist':20 'code':7,25 'comput':1,14,17 'develop':16,21 'multipl':32 'program':24 'protocol':10,28 'softwar':2,6,9,15,18,27 'use':30 'verif':4 'verifi':23

Non-downloadable computer software for specifying, modeling, and formally verifying the correctness, safety, and reliability of software systems, computer programs, software protocols, and distributed computing systems; computer software for assisting developers in the verification and validation of program code for use in multiple applications; design and development of computer software; consulting services in the field of software specification, verification, and design and the correctness of computer systems

'applic':45 'assist':31 'code':40 'comput':4,20,26,28,50,67 'consult':52 'correct':13,65 'design':46,62 'develop':32,48 'distribut':25 'download':3 'field':56 'formal':10 'model':8 'multipl':44 'non':2 'non-download':1 'program':21,39 'protocol':23 'reliabl':16 'safeti':14 'servic':53 'softwar':5,18,22,29,51,58 'specif':59 'specifi':7 'system':19,27,68 'use':42 'valid':37 'verif':35,60 'verifi':11

QUINT

Owner

Goods & Services