1023 search results - page 27 / 205 » Model Checking: Software and Beyond |
ICFEM
2007
Springer
15 years 7 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...
WSC
2007
15 years 3 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...
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
100
click to vote
ICSE
2007
IEEE-ACM
16 years 1 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...