肉身
发表于 2025-3-25 03:31:20
Proving properties of logic programs by abstract diagnosis,etation. The resulting technique (abstract diagnosis) leads to elegant bottom-up and top-down verification methods, which do not require to determine the symptoms in advance, and which are effective in the case of abstract properties described by finite domains.
不持续就爆
发表于 2025-3-25 07:56:39
http://reply.papertrans.cn/16/1563/156288/156288_22.png
喃喃诉苦
发表于 2025-3-25 13:16:50
Testing semantics of asynchronous distributed programs,cess communication in a CSP-like process description language enriched with a construct for assignment. We setup a testing scenario and present a proof system for IPAL which is sound and complete with respect to the induced behavioural relations.
退潮
发表于 2025-3-25 17:20:45
A process language for statecharts,Shalev semantics of statecharts. However, since the language is parametric in the set of basic actions and in some operations over actions, other semantics of statecharts can be obtained by suitably instantiating the actions corresponding to transitions and the operations over actions.
burnish
发表于 2025-3-25 21:11:48
,High Definition Television — HDTV,plication of the research is to the validation of program properties; in particular, the application of model checking to validate safety properties in the box-mu calculus and liveness properties in the diamond-mu calculus is discussed.
Legend
发表于 2025-3-26 01:53:13
,High Definition Television — HDTV,precision of the analysis. For instance some well-known mutual exclusion protocols have been automatically proven correct. The analyzer has been interfaced using the HTML markup language: this allows the user to ask for computed invariants at given program points.
弹药
发表于 2025-3-26 05:42:43
http://reply.papertrans.cn/16/1563/156288/156288_27.png
落叶剂
发表于 2025-3-26 11:27:54
Abstract interpretation of small-step semantics,plication of the research is to the validation of program properties; in particular, the application of model checking to validate safety properties in the box-mu calculus and liveness properties in the diamond-mu calculus is discussed.
航海太平洋
发表于 2025-3-26 15:36:01
Implementing a static analyzer of concurrent programs: Problems and perspectives,precision of the analysis. For instance some well-known mutual exclusion protocols have been automatically proven correct. The analyzer has been interfaced using the HTML markup language: this allows the user to ask for computed invariants at given program points.
adjacent
发表于 2025-3-26 19:08:57
Parallel implementation of functional languages,summarise the state of the art in the parallel implementation of functional languages, to give reasons why attempts have failed to show performance, and argues why this will probably remain so. Similar arguments will hold for other declarative languages and mechanisms with implicit fine grain parallelism such as logic and constraint languages.