IT系メモ

興味のあったことや、勉強したことなどをメモしていきます。

2010-08-02から1日間の記事一覧

PSL(Property Specification Language)

PSLで最低限覚えておかなければならない文法は少なそう。ただ自由に自分が思った風にまだかけない。 always never -> ->next eventually! { } ; rose(),fell() prev(sig,n) |=> |-> [*] [+] [*count],[*min:max] [=count],[=min:max] onhot, onehot0 ! abort