112 search results - page 1 / 23 » Formalization of fFSM Model and Its Verification |
ICESS
2005
Springer
13 years 10 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
JAR
2008
13 years 4 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
PRDC
2002
IEEE
13 years 9 months ago
2002
IEEE
FLAIRS
2006
13 years 6 months ago
2006
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
IJCAI
2003
13 years 6 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...