111 search results - page 13 / 23 » Evidence Explorer: A Tool for Exploring Model-Checking Proof... |
ACSD
2010
IEEE
13 years 5 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
ICTAI
1997
IEEE
13 years 11 months ago
1997
IEEE
Knowledge refinement tools have commonly been applied to diagnostic applications. This paper considers the refinement of a design application. It explores the differences in knowl...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
The REDEEM authoring tool allows teachers to create adapted learning environments for their students from existing material. Previous evaluations have shown that under experimental...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...