高橋(成)です。
情報をまとめますと…
Tizen の HTML レンダリングエンジンは WebKit で、JS エンジンは JavascriptCore です。
FirefoxOS のレンダリングエンジンは Gecko で、JS エンジンは知らないですけど なんとかmonkey とかですかね。(詳しく知らないですけど、JS エンジン名に Gecko の名前は入ってなかったと思います。)
Windows はレンダリングエンジンは Trident で、JS エンジンは Chakra になります。
ついでに、Android はレンダリングエンジンは Webkit で、 JS エンジンは v8 です。
日本語の情報だと、高橋が日系エレクトロニクスさんへ寄稿した記事に Webkit と JavascriptCore の話は記述しました。(宣伝)
英語の情報ですと Tizen developer conference 2012 で EFLWebkit の紹介やら、JavascriptCore の高速化の話がされていました。 Tizen developer conference 2013 では Webkit のバックエンドを OpenGL にすることでレンダリングを高速化を実現したとの発表がありましたね。あとは、
review.tizen.org/git のリストを見ると レンダリングと JS エンジンに関するソースが webkit しかないので、レンダリングエンジンは webkit, JS エンジンは JavascriptCore を使っていることが分かると思います。