Can anyone suggest some industrial projects that were implemented by using VDM for formal specifications and verification?

25 February 2014 1 3K Report

VDM is a formal specification technique. It can be used for the formal specification and verification.

Ok. I am particularly interested in Information Management System. Or any software system related to the processing and storage of large quantities of data.

Badges
Science topic

Similar topics
Engineering
Modeling

More Nadeem Akhtar's questions See All

Gromacs first step of minimization ?

I have face this problem anyone help me how to solve this issue ?which is below Fatal error: There are inconsistent shifts over periodic boundaries in a molecule type consisting of 78 atoms. The...

07 August 2024 2,598 1 View

How can I find the cracked version of ENVI-met software?

Envi-met software

07 August 2024 8,188 1 View

Can I multiplex a mouse monoclonal and rat primary for IHC (mouse brain tissue)?

Hi all, I was just wondering if anyone has experience with multiplexing a mouse monoclonal primary and a rat primary. I'm trying to multiplex by incubating them in the same well but was told by a...

06 August 2024 9,710 1 View

Entropy measure and QSPR modeling in Graph Theor. How to construct the table for lengthy equation?

The entropy measured of molecular graphs plays a crucial rule. The network structures in some cases are very lengthy calculations to handle. Some author avoid to construct table where as most...

30 July 2024 3,126 0 View

Critique Calculaltion in Topological Indices and QSPR Modeling?

The first step is to analyze a 2D molecular graph and implement partitioning techniques to calculate the topological indices. Secondly impose statically tools to generate QSPR model, may or may...

24 July 2024 9,644 1 View

What strategy should be adopted to calculate topological indices efficiently?

Most of the time it is observed that in many manuscripts there are several typo error of topological calculation errors of calculation and partition of edges what ever the type of partitioning it...

22 July 2024 811 0 View

Please inform me about the International Conference on Plant Biology?

Please inform me about the International Conference on Plant Molecular Biology, or Plant Biology, scheduled for December 2024, January/February, or March 2025.

14 July 2024 3,120 7 View

Is there any standard format or protocol for plant photo-plate creation?

need to know protocol for photoplate creation, styles, etc

11 July 2024 8,321 2 View

Unification of General Relativity and Quantum Mechanics is possible ?

How can anyone develop a theoretical framework that successfully unifies general relativity and quantum mechanics? how this new theory should accurately describe gravitational interactions at...

10 July 2024 5,040 8 View

Radial Basis Functions Based Differential Quadrature Method for One Dimensional Heat Equation "required matlab code" and provide code in discription?

I am able to submit the code documents. Although my graph is 1, I would like to be in the 6E-05 graph range. Please, someone correct the error.

08 July 2024 5,770 0 View

What are the long-term impacts of incarceration on youths' developing brain?

I want to explore the long-term effects of incarceration on a youth's developing brain. I also want to explore research that looks critically at incarceration and punitive measures as the primary...

12 August 2024 862 0 View

GC-MS retention index prediticon?

Hello experts, Does anyone know any free software about retention index prediction ?

08 August 2024 7,403 2 View

What should Berlin do as a city to become as impactful as London and Paris in World Football?

Please go through my Abstract. I can also share a proposed Thesis Outline.

04 August 2024 2,077 0 View

Can anyone provide me with molecular docking softwares/ websites?

Molecular docking software/ websites?

02 August 2024 8,704 7 View

Are current regulations effective in preventing cancer caused by toxins?

I am currently researching the impact of environmental toxins on children's health and would greatly appreciate insights from experts in the field. If you are an expert or researcher working on...

02 August 2024 4,474 2 View

What are the roles of innovation in achieving the Sustainable Development Goals (SDG)?

31 July 2024 3,533 2 View

How to find projects for a team of professional developers in AI?

We are looking for projects for a team of professional developers About us We are a team of experienced developers with over 10 years of experience in various programming fields. Our mission is to...

30 July 2024 8,377 0 View

I am working on my Master's thesis on the biogeography of the genus Ruagea and I would like to ask, could someone help me to check whether my result?

I created a file with my outgroup and ingroup species using Beauti, ran it in BEAST, viewed it in Tracer, and then used TreeAnnotator to create a file that I imported into RASP. Could someone...

28 July 2024 2,979 1 View

Technology developments may it for whatever reasons developed eventually its benefits are multi-Disciplinatary?

Your comments

28 July 2024 2,822 2 View

Any direct measurement to measure the bacteria or micro organism using IOT or any indirect measurement?

need of sensor details or sensor development for this question.

28 July 2024 4,539 3 View