8828 search results - page 201 / 1766 » Formal methods in practice |
173
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
157
click to vote
ECBS
2008
IEEE
16 years 1 months ago
2008
IEEE
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
153
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
200
click to vote
RTCSA
1997
IEEE
15 years 10 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
179
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...