The following pages link to Franco Mazzanti (Q246446):
Displaying 14 items.
- A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
- Compositional verification of concurrent systems by combining bisimulations (Q2147689) (← links)
- Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
- Verifying Properties of Systems Relying on Attribute-Based Communication (Q5047043) (← links)
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities (Q5164168) (← links)
- From EU Projects to a Family of Model Checkers (Q5256356) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
- Few trapped quantum dipoles: quantum versus classical structures (Q6490526) (← links)
- Compositional verification of concurrent systems by combining bisimulations (Q6535949) (← links)
- Supplementary material for "Compositional Verification of Concurrent Systems by Combining Bisimulations" (Q6704285) (← links)
- Moving-block System: Requirements and Formal Models (Q6704287) (← links)
- Additional material for "Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities" (Q6704289) (← links)
- Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements" (Q6704291) (← links)
- Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes (Q6704293) (← links)
