Abstract: The disclosure includes a system, method and tangible memory for depicting a graphical display output including a visualization of a virtual roadway including a curve that complies with a curve testing standard. The method may include providing a set of curve data describing one or more criteria of the curve testing standard to a Satisfiability Modulo Theories solver (“SMT solver”). The SMT solver is operable to analyze the one or more criteria to output a three-dimensional coordinate. The method may include providing the three-dimensional coordinate to the virtualization application as an input. The virtualization application may be operable to generate curves based on a three-dimensional coordinate received as an input. The method may include the virtualization application generating graphical data based on the input that causes the electronic display to depict the visualization including the virtual roadway including the curve that complies with the curve testing standard.

Abstract: The disclosure includes a system, method and tangible memory for depicting a graphical display output including a visualization of a virtual roadway including a curve that complies with a curve testing standard. The method may include providing a set of curve data describing one or more criteria of the curve testing standard to a Satisfiability Modulo Theories solver (“SMT solver”). The SMT solver is operable to analyze the one or more criteria to output a three-dimensional coordinate. The method may include providing the three-dimensional coordinate to the virtualization application as an input. The virtualization application may be operable to generate curves based on a three-dimensional coordinate received as an input. The method may include the virtualization application generating graphical data based on the input that causes the electronic display to depict the visualization including the virtual roadway including the curve that complies with the curve testing standard.