I have a class diagram on Python and I want to generate the NuSMV code of this diagram, what should I do in this case?

Oussama Hayane @Oussama_Hayane

01 January 2018 1 2K Report

Bruno Martin

I think the best place to ask a question on a specialized tool like this is directly on the NuSMV mailing list:

http://nusmv.fbk.eu/mail.html

Badges
Science topic

More Oussama Hayane's questions See All

Is definitions considered as a sort of Plagiarism ! if yes, what modifications we must do to avoid falling in this problem ?

07 August 2018 5,019 0 View

What is the best LaTex Editor for Windows ?

07 August 2018 7,399 12 View

We are looking for an heuristic for the Condition C2 -Visibility of transitions- of P.O.R Technique; is there an article discussing this condition ?

We are looking for an heuristic for the Condition C2 -regarding the visibility of transitions- of Partial Order Reduction Technique : C2 : If a state "s" is not fully expanded, every transition...

06 July 2018 2,665 0 View

What are the limits of the techniques developed in the context of solving the state explosion problem in formal verification ?

The State Explosion Problem is always posed; We want to know what are the limits of the techniques developped to solve this problem. In an informal way and from 'machine' point of view we can say...

06 July 2018 2,468 0 View

What are efficiency criteria of a code of an algorithm in these programming languages : C , C# and C++ ?

06 July 2018 9,948 2 View

What are the Fault-Tolerant Control methods of discrete event systems that exist ?

I want to obtain names of all the FTC of DES to write a survey paper about this subject. I know only three methods: Supervisory Control appraoch, control reconﬁguration approach, hiding approach....

11 December 2017 5,699 4 View

Has anyone applied Python in the field of textile engineering for data analysis, automation, or smart textiles?

I'm currently exploring the application of Python in textile engineering, specifically in areas like data analysis, process automation, and the development of smart textiles. I'm interested in...

10 August 2024 7,429 2 View

Request Python code?

Request Python code from this article : Gender equity of authorship in pulmonary medicine over the past decade. THANKS!

08 August 2024 6,242 2 View

Why does everyone use vs code?

Visual Studio Code (VS Code) has become a popular choice among developers for several reasons: 1. **Free and Open Source**: VS Code is free to use and open source, making it accessible to...

07 August 2024 7,013 4 View

How can i do multivariate Time Series forecast using MLP, ANFIS and LSTM?

I need the python code to forecast what crop production will be in the next decade considering climate and crop production variables as seen in the attached.csv file.

05 August 2024 2,977 3 View

Need help with my research project on open source SIEM and machine learning?

Hello everyone, I am currently working on a research project that aims to integrate machine learning techniques into an open source SIEM tool to automate the creation of security use cases from...

04 August 2024 3,196 2 View

How to do FEL analysis?

In molecular dynamics simulation, to get FEL analysis, I got an error. My Python version is 3.10.7. My input files are made with a lower version of Python. But the final command to generate the...

23 July 2024 5,646 2 View

Mass spectra averaging algorithm?

I am now developing a python module for ms2 database searching, would like to realize a function that similar to what Xcalibur did, choose multiple mass spectra and get an averaged spectra. But...

22 July 2024 3,975 1 View

Is there anything faster than Xarray or Pandas out there?

Hello, dear RG community. Personally, I have found Xarray to be excruciatingly slow, especially for big datasets and nonstandard operations (like a custom filtering function). The only suggestion...

15 July 2024 4,705 2 View

How can I extract the mathematical equation from existing Neural Network Model?

There exists a neural network model designed to predict a specific output, detailed in a published article. The model comprises 14 inputs, each normalized with minimum and maximum parameters...

14 July 2024 2,714 3 View

How to determine of metallic geometry in molecular dynamics simulation?

I have finish my MD simulation of a ligand-protein complex and I want to analyse the trajectory including the geometry of a metal. I have found that FindGeo tool could help with its python...

22 June 2024 4,045 4 View