2500 search results - page 89 / 500 » Specifying Behavior in C |
RTAS
1998
IEEE
15 years 2 months ago
1998
IEEE
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
ASPDAC
2004
ACM
15 years 1 months ago
2004
ACM
When time is incorporated in the specification of discrete systems, the complexity of verification grows exponentially. When the temporal behavior is specified with symbols, the ve...
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
ACSD
2001
IEEE
15 years 1 months ago
2001
IEEE
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...
PDPTA
2000
14 years 11 months ago
2000
- A Unified Modeling Language (UML) description of the MASC model of parallel computation is presented. This UML description identifies MASC objects and specifies various object an...