Contact
Research
Teaching
Tools
Personal
Search:
Matthieu Moy
Home
>
Keywords
>
Tools
>
Spin
Spin
Spin model-checker:
http://spinroot.com/spin/whatispin.html
Articles
Research
>
Talks
>
Transaction-Level Models of Systems-on-a-Chip: Can they be Correct, Faithful and Fast?
Research
>
Students/Post-docs
>
Ranjan Ravi
Email:
Other keywords in this group
PAGAI
Pinapa
PinaVM
sc-during
SimGrid
Spin
SPIP
SystemC
Tuleap
Uppaal
Verse
Vivado HLS
Yices
Z3
1
2
Keyword groups
Co-workers
Tools
Topics
Type of Student
Year
Language:
Français
/
English
|
Log in
|
Site Map
|
RSS 2.0
Graphic design (c)
styleshout
under License
Creative Commons Attribution 2.5 License