2872 search results - page 15 / 575 » On (Omega-)Regular Model Checking |
115
Voted
ICCD
2007
IEEE
15 years 7 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...
176
Voted
IS
2012
13 years 11 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
103
Voted
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
148
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
142
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...