Titlebook: Integrated Formal Methods; 6th International Co Jim Davies,Jeremy Gibbons Conference proceedings 2007 Springer-Verlag Berlin Heidelberg 200

SLING

Explicate

convert

,Precise Scenarios – A Customer-Friendly Foundation for Formal Specifications,e customer would find a concrete precise scenario easier to understand than its corresponding abstract schema. The Z expert derives schemas based on the precise scenarios. Precise scenarios afford user involvement that improves the odds of a formal specification fully capturing the user requirements.

seduce

Gerontology

Ptosis

NEX

Slicing Concurrent Real-Time System Specifications for Verification,e special structure of CSP-OZ-DC specifications by extending the dependence graph—which usually serves as a basis for slicing—with several new types of dependencies, including timing dependencies derived from the specification’s DC part. Based on this we show how to compute a specification slice and prove correctness of our approach.

做方舟

Inheriting Laws for Processes with States,itions themselves can be captured as pattern laws of commutativity. The model uses a new approach to define parallel compositions using just the primitive commands, nondeterministic choice, conjunction and some unary (hiding) operators.

退潮

IST