About: http://webisa.webdatacommons.org/155442332

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	These tools (Prover SL, for example) are used in a variety of applications, including the verification of microprocessors, aircraft software, and embedded systems.
http://www.w3.org/ns/prov#wasQuotedFrom	ucl.ac.uk