4341 search results - page 30 / 869 » Quantitative Model checking |
158
click to vote
INFORMATICALT
2002
15 years 5 months ago
2002
This paper presents model-based forecasting of the Lithuanian education system in the period of 2001
202
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
