2514 search results - page 56 / 503 » The use of industrial-strength formal methods |
110
click to vote
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
103
click to vote
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
113
click to vote
CLA
2004
15 years 3 months ago
2004
Binary factor analysis (BFA, also known as Boolean Factor Analysis) is a nonhierarchical analysis of binary data, based on reduction of binary space dimension. It allows us to find...
143
click to vote
FMCO
2007
Springer
15 years 5 months ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
138
click to vote
ZUM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...