Austin Model 1

still a war going on (manuscript Austin, 3 December 1993)”. E. W. Dijkstra Archive. The University of Texas at Austin, Department of Computer Sciences

(UK #14, US #32) 1978 - This Year's Model (UK #4, US #30) 1979 - Armed Forces (UK #1, US #10) 1980 - Get Happy!!(UK #1, US #11) 1981 - Trust (UK #9, US #28)

い色を与えている。4'-クロロ-2-ヒドロキシオーロンや4'-クロロオーロン等は、褐藻でも見られる。 ほとんどのオーロンは(Z)-型で、Austin Model 1の計算によるとより安定する。しかし、(E)-型の(E)-3'-O-β-d-グルコピラノシル-4,5,6,4'-テトラヒドロキシ-7

モデル検査（モデルけんさ、Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足するかどうか検証する。仕様は時相論理の論理式の形式で記述することが多い。 モデル検査はハードウェア設計に適用されること

(1997年 - 1998年) アンドリュー・グルーン（Andrew Gruhn） – キーボード（1998年） オースティン・リンドストローム（Austin Lindstrom） – ベース（1998年 - 2000年、2001年 - 2002年） ジョエル・ハベダンク（Joel Habedank）