1023 search results - page 13 / 205 » Model Checking: Software and Beyond |
OOPSLA
2010
Springer
14 years 7 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
78
Voted
WSC
2004
14 years 11 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
80
Voted
QOSA
2009
Springer
15 years 2 months ago
2009
Springer
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
91
Voted
TASE
2007
IEEE
15 years 3 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...