109
Voted
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
136
Voted
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
131
Voted
APN
2001
Springer
15 years 7 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
109
Voted
APLAS
2001
ACM
15 years 7 months ago
2001
ACM
118
Voted
APCSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Very Long Instruction Word (VLIW) architectures exploit instruction level parallelism (ILP) with the help of the compiler to achieve higher instruction throughput with minimal hard...