1023 search results - page 27 / 205 » Model Checking: Software and Beyond |
127
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
131
Voted
WSC
2007
15 years 7 months ago
2007
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
127
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG
135
click to vote
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...