𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Specification and analysis of timing properties in a case tool CONRAD

✍ Scribed by T Kaldma; L Motus; R Paluoja; J Tekko; T Tommingas

Publisher
Elsevier Science
Year
1994
Weight
737 KB
Volume
18
Category
Article
ISSN
0066-4138

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Tool For Specification And Verificatio
A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems
✍ Franco Raimondi; Alessio Lomuscio πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 184 KB

We present a compiler that translates a multi-agent systems specification given in the formalism of Interpreted Systems into an SMV program. We show how an SMV model checker can be coupled with a Kripke model editor (Akka) to allow for the mechanical verification of epistemic properties of multi-age

Case Studies in the Specification and An
Case Studies in the Specification and Analysis of Protocols in Maude
✍ Dilia E. RodrΓ­guez πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 166 KB

We follow the method for the specification and analysis of protocols introduced in [3], further exploiting the capabilities of Maude. Our specifications are highly structured and allow the detection of type flaws, as well as replay attacks. We describe a variation of the search strategy introduced i

Good Timing in Total Synthesis: The Case
Good Timing in Total Synthesis: The Case of Phoslactomycin A
✍ BjΓΆrn Gebhardt; Christianβ€…M. KΓΆnig; Cornelia Schleth; Mario Dauber; Ulrich Koert πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 291 KB πŸ‘ 2 views