1219 search results - page 67 / 244 » Verification of Equivalent-Results Methods |
WSC
1998
13 years 11 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 ...
ENTCS
2008
13 years 10 months 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...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
Verification decisions are often based on second order statistics estimated from a set of samples. Ongoing growth of computational resources allows for considering more and more fe...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...