2488 search results - page 123 / 498 » An improvement in formal verification |
126
click to vote
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
100
Voted
WSC
1998
15 years 2 months ago
1998
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...
119
click to vote
ENTCS
2008
15 years 26 days ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
83
Voted
AEI
1999
15 years 14 days ago
1999
Ensuring that the content of a rule-base, which is being encoded, is free from problems of consistency, completeness, and conciseness, is necessary to avoid any performance errors...
96
Voted
DAC
1996
ACM
15 years 5 months ago
1996
ACM
Burch and Dill [3] described an automatic method for verifying a pipelined processor against its instruction setarchitecture(ISA). We describethree techniquesfor improving this me...