Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: SPIN verification tool | Statement: [Gerard J. Holzmann, associatedWith, SPIN verification tool]

Target entity: SPIN verification tool
Context triple: [Gerard J. Holzmann, associatedWith, SPIN verification tool]

• A. Verification Annex
  The Verification Annex is a key component of the Chemical Weapons Convention that sets out detailed procedures and requirements for monitoring, inspecting, and verifying compliance with the treaty’s prohibitions on chemical weapons.
• B. GOV.UK Verify
  GOV.UK Verify is a UK government digital identity assurance service that allows citizens to securely prove who they are online when accessing public services.
• C. ISO 10383 MIC database
  The ISO 10383 MIC database is an international registry that assigns and maintains standardized Market Identifier Codes (MICs) for securities and derivatives trading venues and related entities worldwide.
• D. E-Verify
  E-Verify is an internet-based system in the United States that allows employers to confirm the employment eligibility of their workers by electronically matching information from employment forms with government records.
• E. Authenticum
  Authenticum is a medieval Latin collection of the Novellae (new laws) of the Byzantine emperor Justinian I, widely used in Western European legal scholarship.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: SPIN verification tool
Triple: [Gerard J. Holzmann, associatedWith, SPIN verification tool]

The SPIN verification tool is a widely used open-source model checker for detecting logical design errors in concurrent and distributed software systems.

Target entity: SPIN verification tool
Target entity description: The SPIN verification tool is a widely used open-source model checker for detecting logical design errors in concurrent and distributed software systems.

• A. Verification Annex
  The Verification Annex is a key component of the Chemical Weapons Convention that sets out detailed procedures and requirements for monitoring, inspecting, and verifying compliance with the treaty’s prohibitions on chemical weapons.
• B. GOV.UK Verify
  GOV.UK Verify is a UK government digital identity assurance service that allows citizens to securely prove who they are online when accessing public services.
• C. ISO 10383 MIC database
  The ISO 10383 MIC database is an international registry that assigns and maintains standardized Market Identifier Codes (MICs) for securities and derivatives trading venues and related entities worldwide.
• D. E-Verify
  E-Verify is an internet-based system in the United States that allows employers to confirm the employment eligibility of their workers by electronically matching information from employment forms with government records.
• E. Authenticum
  Authenticum is a medieval Latin collection of the Novellae (new laws) of the Byzantine emperor Justinian I, widely used in Western European legal scholarship.
• F. None of above. chosen