Model checking strategy-controlled systems in rewriting logic

2021 ◽  
Vol 29 (1) ◽  
Author(s):  
Rubén Rubio ◽  
Narciso Martí-Oliet ◽  
Isabel Pita ◽  
Alberto Verdejo
Keyword(s):  
Model Checking ◽  
Rewriting Logic ◽  
Controlled Systems

SUPPORTING FORMAL VERIFICATION OF DIMA MULTI-AGENTS MODELS: TOWARDS A FRAMEWORK BASED ON MAUDE MODEL CHECKING

2008 ◽  
Vol 18 (07) ◽  
pp. 853-875 ◽  
Author(s):  
NOURA BOUDIAF ◽  
FARID MOKHATI ◽  
MOURAD BADRI
Keyword(s):  
Model Checking ◽  
Development Process ◽  
Formal Semantics ◽  
Concurrent Systems ◽  
Model Checker ◽  
Rewriting Logic ◽  
Generic Framework ◽  
Systems Quality ◽  
Verification Techniques ◽  
Multi Agents

Model Checking based verification techniques represent an important issue in the field of concurrent systems quality assurance. The lack of formal semantics in the existing formalisms describing multi-agents models combined with multi-agents systems complexity are sources of several problems during their development process. The Maude language, based on rewriting logic, offers a rich notation supporting formal specification and implementation of concurrent systems. In addition to its modeling capacity, the Maude environment integrates a Model Checker based on Linear Temporal Logic (LTL) for distributed systems verification. In this paper, we present a formal and generic framework (DIMA-Maude) supporting formal description and verification of DIMA multi-agents models.

The Effect of Interaction on Tuning and Operability of Classically Controlled Systems

1984 ◽  
Author(s):  
Maria A. Marino-Galarraga ◽  
Thomas J. McAvoy ◽  
Thomas E. Marlin
Keyword(s):  
Controlled Systems
Sign in / Sign up

Export Citation Format

Share Document