FMSD
2007
13 years 11 months ago
2007
FMSD
2007
13 years 11 months ago
2007
FMSD
2007
13 years 11 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
FMSD
2007
13 years 11 months ago
2007
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
FMSD
2007
13 years 11 months ago
2007
We study the cost-optimal reachability problem for weighted timed automata such that positive and negative costs are allowed on edges and locations. By optimality, we mean an infi...
FMSD
2007
13 years 11 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
FMSD
2007
13 years 11 months ago
2007
FMSD
2007
13 years 11 months ago
2007
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...