http://workcraft.org/ 2026-05-09T22:55:33+00:00 http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2020-08-10T11:09:06+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/devel/verification/1way_conformation?rev=1597057746&do=diff Conformation of device to its environment This is to verify the conformation of the device (the current work file) to its environment (a user-selected work file). Preparation of STGs * Check prerequisites * Device STG has places (this requirement can be eased by modifying Reach expression)    text/html 2024-12-23T10:13:40+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/devel/verification/refinement?rev=1734948820&do=diff Refinement This notion is similar to 1-way conformation but without flaws. It is based on Def. 6.1 of . An STG is defined as a tuple N = (P, T, W, MN , In, Out, Int, l), where Int is the set of internal signals, such that Int ∩ (In ∪ Out) = ∅