1492 search results - page 74 / 299 » Automatic Software Model Checking Using CLP |
99
Voted
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
106
Voted
EDM
2009
14 years 11 months ago
2009
This paper describes a novel method to create a quantitative model of an educational content domain of related practice item-types using learning curves. By using a pairwise test t...
134
click to vote
ECMDAFA
2010
Springer
15 years 6 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
116
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
2011
IEEE-ACM
Continuous quality assessment is crucial for the long-term success of evolving software. On the one hand, code analysis tools automatically supply quality indicators, but do not p...
101
click to vote
CODES
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...