32032 search results - page 90 / 6407 » Verified programming in Guru |
140
click to vote
SPIN
2001
Springer
15 years 5 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
99
Voted
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
DCC
2001
IEEE
16 years 11 days ago
2001
IEEE
ICECCS
2008
IEEE
15 years 7 months ago
2008
IEEE
74
Voted
ICECCS
2008
IEEE
15 years 7 months ago
2008
IEEE
