65 search results - page 3 / 13 » EMMA: Explicit Model Checking Manager (Tool Presentation) |
ECBS
2003
IEEE
13 years 11 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
ECMDAFA
2006
Springer
13 years 9 months ago
2006
Springer
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...
ECSA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
WWW
2006
ACM
14 years 6 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
CGO
2009
IEEE
14 years 17 days ago
2009
IEEE
—Fast track is a software speculation system that enables unsafe optimization of sequential code. It speculatively runs optimized code to improve performance and then checks the ...