Capture Formal Semantics the Natural Way:
in Structured English
Natural Semantics, LLC is a Limited Liability Company organized under the laws of the State of New York. The company's purpose is to develop controlled-English grammars that translate into formal modeling and specification languages and to assist customers in the application of these grammars to real-world problems through the development of effective knowledge capture and knowledge delivery environments.
*Background image from Flight Critical Software and Systems Development Using ASSERT™, 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC). IEEE, 2017, https://www.ccs.neu.edu/home/pete/pub/2017-DASC.pdf.