426 search results - page 50 / 86 » Towards Verifying Model Transformations |
RTCSA
1997
IEEE
14 years 2 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
JSA
2008
13 years 9 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
CPHYSICS
2007
13 years 10 months ago
2007
Numerical modeling of the photon transport of the ultra violet (UV) and the visible lights are presented for plasma based display devices. The transport of UV lights which undergo...
ASWEC
2010
IEEE
13 years 10 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...