Sciweavers

1914 search results - page 37 / 383
» Verification by Abstract Interpretation
Sort
View
DAGSTUHL
2006
15 years 1 months ago
06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems
David M. Nicol, Corrado Priami, Hanne Riis Nielson...
68
Voted
ICWS
2004
IEEE
15 years 1 months ago
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis,...