714 search results - page 7 / 143 » Certifying Model Checkers |
CAV
2010
Springer
13 years 5 months ago
2010
Springer
FASE
2010
Springer
14 years 1 months ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
RTAS
2010
IEEE
13 years 6 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
JAR
2011
13 years 3 months ago
2011
We consider optimization problems of the form (S, cost), where S is a clause set over Boolean variables x1 . . . xn, with an arbitrary cost function cost: Bn → R, and the aim is ...
CAISE
2009
Springer
14 years 1 months ago
2009
Springer
Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gai...