10870 search results - page 384 / 2174 » Model Checking Programs |
170
click to vote
ICCD
2007
IEEE
15 years 10 months ago
2007
IEEE
Transaction-level modeling (TLM) allows a designer to save functional verification effort during the modular refinement of an SoC by reusing the prior implementation of a module a...
174
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
229
Voted
AOSD
2011
ACM
15 years 1 months ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
181
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
210
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...