714 search results - page 50 / 143 » The Formal Specification Language mCRL2 |
CONSTRAINTS
2008
13 years 9 months ago
2008
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...
JUCS
2008
13 years 8 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
EURODAC
1994
IEEE
14 years 28 days ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
AOSD
2009
ACM
14 years 25 days ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...