Compositional Verification Using MLTS

2002 ◽  
pp. 29-81
Author(s):  
Eric Y. T. Juan ◽  
Jeffrey J. P. Tsai
Keyword(s):  
Compositional Verification

Sound and mechanised compositional verification of input-output conformance

2013 ◽  
Vol 24 (4) ◽  
pp. 289-319 ◽  
Author(s):  
Augusto Sampaio ◽  
Sidney Nogueira ◽  
Alexandre Mota ◽  
Yoshinao Isobe
Keyword(s):  
Compositional Verification ◽  
Input Output

scholarly journals Robust and compositional verification of object capability patterns

2017 ◽  
Vol 1 (OOPSLA) ◽  
pp. 1-26 ◽  
Author(s):  
David Swasey ◽  
Deepak Garg ◽  
Derek Dreyer
Keyword(s):  
Compositional Verification

scholarly journals Compositional Verification using Model Checking and Theorem Proving

2020 ◽  
pp. 305-314
Author(s):  
Diego Marmsoler
Keyword(s):  
Distributed Systems ◽  
Model Checking ◽  
Embedded Systems ◽  
Theorem Proving ◽  
Formal Modeling ◽  
Compositional Verification ◽  
Modeling And Analysis ◽  
Simple Version ◽  
Evolving Systems ◽  
Alternative Approach

AbstractCollaborative embedded systems form groups in which individual systems collaborate to achieve an overall goal. To this end, new systems may join a group and participating systems can leave the group. Classical techniques for the formal modeling and analysis of distributed systems, however, are mainly based on a static notion of systems and thus are often not well suited for the modeling and analysis of collaborative embedded systems. In this chapter, we propose an alternative approach that allows for the verification of dynamically evolving systems and we demonstrate it in terms of a running example: a simple version of an adaptable and flexible factory.

Sign in / Sign up

Export Citation Format

Share Document