✦ LIBER ✦

Semantical games, verification procedures, and wellformedness

✍ Scribed by Michael Hand

Publisher: Springer Netherlands
Year: 1987
Tongue: English
Weight: 576 KB
Volume: 51
Category: Article
ISSN: 0031-8116
DOI: 10.1007/bf00353650

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantic representations as procedures f

Semantic representations as procedures for verification

✍ Jack Catlin; Dennis L. Micham 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 937 KB

Temporal discourse and semantical games

✍ Jaakko Hintikka 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 930 KB

Game-theoretical semantics, montague sem

Game-theoretical semantics, montague semantics, and questions

✍ Michael Hand 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 744 KB

Axiomatic semantics of R-schemas and ver

Axiomatic semantics of R-schemas and verification of graphic programs

✍ I. V. Kasatkina; A. L. Kovalev; S. V. Ershov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 584 KB

A survey of input-output semantics and p

A survey of input-output semantics and program verification, rep. 344

✍ Andrzej Blikle 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 221 KB

Semantic verification and satisfiability

Semantic verification and satisfiability verification of MSC specifications by means of Petri nets in telecommunication software testing

✍ Naomoto Kato; Yoshiaki Shigeta; Wataru Tanaka; Haruo Hasegawa 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 230 KB 👁 1 views

This paper discusses the testing of communication system software, focusing on the semantic verification of specifications. Specifications are defined using message sequence charts (MSC) recommended by the ITU-T. Assuming an MSC-based scenario for which operational system specifications are defined,