2514 search results - page 271 / 503 » The use of industrial-strength formal methods |
153
click to vote
FMCAD
2007
Springer
16 years 23 days ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
139
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
— This paper describes an original control law called qualitative servoing. The particularity of this method is that no specific desired value is specified for the visual featu...
157
click to vote
FDL
2005
IEEE
16 years 7 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
165
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
146
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...