✦ LIBER ✦

A system for compositional verification of asynchronous objects

✍ Scribed by Ahrendt, Wolfgang; Dylla, Maximilian

Book ID: 119366337
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 422 KB
Volume: 77
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2010.08.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Compositional Reachability Analysis for

Compositional Reachability Analysis for Efficient Modular Verification of Asynchronous Designs

✍ Hao Zheng 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 432 KB

A Compositional Method With Failure-Pres

A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification

✍ Hao Zheng; Ahrens, J.; Tian Xia 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 232 KB

Property verification of asynchronous sy

Property verification of asynchronous systems

✍ Antonio Cerone; George J. Milne 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 355 KB

Compositional Verification of a Multi-Ag

Compositional Verification of a Multi-Agent System for One-to-Many Negotiation

✍ Frances M. T. Brazier; Frank Cornelissen; Rune Gustavsson; Catholijn M. Jonker; 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 172 KB

A framework for compositional verificati

A framework for compositional verification of security protocols

✍ Suzana Andova; Cas Cremers; Kristian Gjøsteen; Sjouke Mauw; Stig F. Mjølsnes; Sa 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 959 KB

A vision system for object verification

A vision system for object verification and localization based on local features

✍ Albert-Jan Baerveldt 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 520 KB

An object verification and localization system should answer the question whether an expected object is present in an image or not, i.e. verification, and if present where it is located. Such a system would be very useful for mobile robots, e.g. for landmark recognition or for the fulfilment of cert