タグ
- すべて
- .net (2)
- 2.0 (2)
- 2007 (1)
- 2ch (2)
- 37signals (1)
- 3D (18)
- 3M (2)
- ABINIT-MP (1)
- API (9)
- AlanKay (1)
- BillGates (2)
- CGM (2)
- CSRF (2)
- DesignPattern (2)
- ETC (2)
- FAQ (2)
- GPL (2)
- GTD (2)
- GUI (2)
- HDD (4)
- Mac (29)
- Microsoft (7)
- MozLab (2)
- ToBeRead (3)
- UML (3)
- UmedaMochio (3)
- Viterbi (2)
- WindowManager (2)
- ab (2)
- ab-initio (2)
- accident (3)
- actionscript (2)
- adobe (2)
- advertising (5)
- affiliate (3)
- agile (2)
- ajax (19)
- algorithm (9)
- analysis (6)
- android (2)
- animation (5)
- anime (2)
- antivirus (2)
- apache (8)
- app (2)
- apple (5)
- application (5)
- ar (5)
- archaeology (3)
- architecture (9)
- archive (3)
- art (38)
- astronomy (7)
- asynchronous (2)
- bed (4)
- beep (3)
- bible (5)
- bicycle (3)
- bio (5)
- bioinformatics (4)
- blender (5)
- blob (2)
- blog (20)
- book (71)
- bookshelf (5)
- british (2)
- broadcasting (2)
- browser (6)
- bugtracking (2)
- business (27)
- c (9)
- c++ (28)
- cache (2)
- calculation (4)
- cambridge (26)
- car (4)
- career (5)
- castle (2)
- cavendish (2)
- centos (5)
- cg (11)
- cgi (3)
- chair (2)
- charts (2)
- chemical (5)
- chemistry (3)
- christmas (2)
- church (7)
- cipher (2)
- classical (4)
- code (11)
- codesize (2)
- coke (2)
- college (2)
- color (2)
- comet (2)
- communication (3)
- community (6)
- company (3)
- competition (2)
- compile (2)
- computer (6)
- computing (2)
- concurrency (2)
- conference (5)
- cooking (11)
- cool (28)
- copyright (3)
- creative (4)
- crossdomain (2)
- crystal (8)
- css (7)
- cube (2)
- curry (6)
- cygwin (2)
- data (2)
- database (3)
- debug (7)
- debugger (2)
- deck (2)
- del.icio.us (4)
- design (74)
- development (46)
- device (2)
- dft (4)
- diary (2)
- dictionary (2)
- directory (3)
- discount (2)
- display (2)
- divergence (2)
- diy (2)
- documents (3)
- domain (2)
- drawing (4)
- dreamhost (4)
- dvd (4)
- earth (2)
- earthquake (26)
- eclipse (2)
- economics (2)
- editor (2)
- education (17)
- effect (3)
- emacs (10)
- encoder (3)
- encryption (5)
- energy (5)
- engineer (6)
- engineering (3)
- english (54)
- error (2)
- exam (2)
- extension (7)
- faniture (3)
- ffmpeg (2)
- fftw (4)
- file (3)
- filesystem (4)
- film (4)
- finance (4)
- firefox (15)
- flash (31)
- flex (31)
- flickr (4)
- flv (5)
- font (4)
- food (4)
- football (5)
- format (2)
- framework (5)
- free (8)
- freeBSD (7)
- fukushima (3)
- fun (5)
- funny (45)
- furniture (5)
- gadget (11)
- game (30)
- gaussian (2)
- gcc (2)
- geek (6)
- generator (6)
- gif (2)
- git (2)
- gmail (3)
- gnuplot (5)
- google (32)
- gourmet (3)
- government (2)
- gradient (2)
- graph (2)
- graphics (12)
- grass (2)
- gromacs (6)
- group (3)
- groupware (3)
- gs (2)
- guide (3)
- hack (2)
- hacker (2)
- hacks (2)
- haskell (4)
- hatena (5)
- hayabusa (3)
- health (12)
- history (7)
- hosting (6)
- hotel (4)
- howto (7)
- html (4)
- http (4)
- hyuki (3)
- icrp (2)
- idea (16)
- idiom (3)
- illusion (6)
- illustration (4)
- image (9)
- impressive (3)
- info (4)
- information (3)
- initio (2)
- insightful (3)
- installation (6)
- interesting (6)
- interface (3)
- interior (2)
- ios (3)
- iphone (11)
- iwata (2)
- japan (5)
- japanese (2)
- java (4)
- javascript (23)
- job (2)
- jobs (2)
- journal (2)
- journalism (4)
- jpeg (2)
- jquery (3)
- json (3)
- kernel (3)
- kids (3)
- lab (6)
- language (11)
- latex (2)
- law (6)
- learning (3)
- lecture (5)
- library (7)
- license (2)
- life (23)
- lifehack (15)
- lighttpd (3)
- link (3)
- links (8)
- linux (26)
- liquid (2)
- lisp (2)
- logo (2)
- machinelearning (2)
- macro (2)
- macromolecule (2)
- mail (3)
- management (10)
- manga (5)
- map (5)
- maps (2)
- market (2)
- marketing (5)
- masterplan (2)
- material (7)
- math (19)
- md (36)
- me (2)
- meadow (2)
- media (19)
- medical (4)
- meeting (3)
- mentos (2)
- mindmap (3)
- mit (3)
- mobile (8)
- model (3)
- modeling (2)
- molecular (4)
- molecule (5)
- money (4)
- monitoring (2)
- movie (29)
- mpi (4)
- ms (2)
- music (25)
- name (3)
- naming (3)
- network (7)
- news (10)
- newspaper (3)
- nhk (3)
- nice (2)
- nintendo (4)
- note (2)
- ntp (2)
- nuclear (17)
- nuclearreactor (2)
- nuke (9)
- numerical (2)
- online (3)
- opensource (12)
- organicsemiconductor (13)
- os (4)
- osx (10)
- paper (5)
- parallel (12)
- patch (2)
- pattern (3)
- pc (3)
- pdb (2)
- pdf (2)
- peerpressure (2)
- performance (9)
- perl (15)
- person (2)
- photo (11)
- photography (9)
- photoshop (4)
- php (11)
- physics (51)
- picture (5)
- plagger (4)
- plugin (11)
- podcast (6)
- polaron (2)
- politics (5)
- powerpoint (2)
- practice (2)
- presentation (10)
- process (2)
- processor (2)
- product (3)
- profiler (3)
- programming (94)
- project (9)
- projector (2)
- protein (3)
- prototype.js (2)
- proxy (2)
- ps3 (2)
- psp (3)
- puzzle (4)
- python (5)
- quantum (2)
- radiation (17)
- radio (3)
- radioactive (8)
- rails (19)
- rakugo (2)
- ramen (4)
- reading (5)
- recipe (22)
- reference (20)
- renderer (3)
- rental (4)
- repository (2)
- research (14)
- researcher (12)
- rest (2)
- restaurant (5)
- review (3)
- right (2)
- risk (2)
- rotation (2)
- rpm (2)
- rss (2)
- rsync (3)
- rtti (2)
- ruby (20)
- ruby-mode (2)
- running (3)
- samba (2)
- scheme (2)
- school (5)
- science (44)
- script (4)
- search (6)
- security (30)
- seminer (2)
- seo (5)
- server (7)
- service (24)
- session (2)
- sharing (2)
- shellscript (2)
- shop (4)
- shopping (3)
- shortcut (6)
- siesta (17)
- simulation (16)
- ski (2)
- skill (6)
- smalltalk (2)
- sns (4)
- social (2)
- society (2)
- sociology (3)
- socks (2)
- soft (3)
- softbank (2)
- software (97)
- solarcell (3)
- song (2)
- sony (9)
- space (8)
- speaking (2)
- spin (2)
- spreadsheet (3)
- ssh (8)
- statistics (2)
- stl (2)
- storage (2)
- story (8)
- streaming (5)
- string (2)
- structure (3)
- study (14)
- style (2)
- subversion (5)
- superconductivity (2)
- svn (10)
- swiss (2)
- synaphai (2)
- system (5)
- talk (2)
- tax (5)
- technique (26)
- technology (12)
- term (2)
- terms (3)
- test (4)
- tex (5)
- text (2)
- theory (7)
- ticketsystem (2)
- tie (4)
- tips (227)
- todo (2)
- tokyo (2)
- tokyo-univ (4)
- tool (40)
- tools (25)
- toy (2)
- trac (10)
- training (2)
- travel (13)
- trouble (2)
- tuning (4)
- tutorial (11)
- tutorials (2)
- tv (9)
- twitter (3)
- ubuntu (5)
- ui (13)
- university (5)
- unix (5)
- upload (2)
- us (4)
- vdw (2)
- venture (2)
- video (21)
- viewer (2)
- virus (2)
- visualization (7)
- vmware (2)
- vocabulary (4)
- wallpaper (9)
- web (76)
- web2.0 (29)
- webdesign (5)
- webservice (28)
- website (5)
- whiteboard (2)
- wii (2)
- wiki (3)
- windows (17)
- wine (3)
- wood (2)
- word (5)
- work (11)
- world (2)
- writing (14)
- xml (7)
- xp (2)
- yahoo (4)
- youtube (9)
- zsh (2)
- あとで読む (3)
- tips (227)
- software (97)
- programming (94)
- web (76)
- design (74)
- book (71)
- english (54)
- physics (51)
- development (46)
- funny (45)
spinに関するromans12のブックマーク (2)
-
romans12 2007/06/22
- concurrency
- programming
- tools
- spin
- parallel
リンク -
Spin - Formal Verification
Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Spin is now also part of the latest stable release of Debian Linux, and has made it into the 16.10+ distributions of Ubuntu. The current Spin version is 6.5.1 (July 2020). Symposia: The 31st International Symposium on Model Checking Software will be held M
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx