Prototype Verification System (PVS)

PVS is a system consisting of a specification language and a theorem prover. We are using it to encode an equivalence notion for object models, and a type system and semantics for Alloy. They will be used to prove in PVS that our transformations are sound. Moreover, it will be used to prove some properties of our equivalence notion.


Topic revision: r2 - 2005-07-14 - TWikiGuest
This site is powered by the TWiki collaboration platformCopyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

mersin escort bayan adana escort bayan izmit escort ankara escort bursa escort