2896 search results - page 4 / 580 » Curricula Modeling and Checking |
113
Voted
CAV
2012
Springer
13 years 2 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
121
click to vote
WIDM
2012
ACM
13 years 7 months ago
2012
ACM
Process mining techniques use event data to discover process models, to check the conformance of predefined process models, and to extend such models with information about bottl...
160
Voted
DKE
2011
14 years 3 months ago
2011
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
122
Voted
IEAAIE
2011
Springer
14 years 3 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
110
click to vote
CADE
2012
Springer
13 years 2 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...