714 search results - page 58 / 143 » The Formal Specification Language mCRL2 |
ANSS
2000
IEEE
14 years 1 months ago
2000
IEEE
A specification language was defined to outline sections of cities as cell spaces. The goal is to allow the definition of complex traffic models in a simple fashion for the modele...
ENTCS
2006
13 years 8 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
JUCS
2008
13 years 8 months ago
2008
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
CHARME
2003
Springer
14 years 13 days ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...