Register

Computer Science - UGC NET 2021 [ Question ID = 2343 ]

395 views

1 Answer

Best answer
0 votes
0 votes

Formal methods are techniques used to model complex systems as mathematical entities. Formal methods are system design techniques that use rigorously specified mathematical models to build software and hardware systems. In contrast to other design systems, formal methods use mathematical proof as a complement to system testing in order to ensure correct behavior.

Ans : 3. Mathematical

• selected by
User Avatar
Voting & Accepting an answer helps improve the community
← PreviousNext →
← Previous in categoryNext in category →

Related questions

0 votes
0 votes
1 answer
2
rajeshposts asked Sep 3, 2023
433 views
Computer Science - UGC NET 2021 [ Question ID = 2345 ]
A system has 99.99% uptime and has a mean-time-between-failure of 1 day. How fast does the system have to repair itself in order to reach this availability goal ? 10 Seconds 11 Seconds 12 Seconds 9 Seconds
A system has 99.99% uptime and has a mean-time-between-failure of 1 day. How fast does the system have to repair itself in order to reach this availability goal ?10 Secon...
User Avatar
0 votes
0 votes
1 answer
3
rajeshposts asked Aug 27, 2023
340 views
Computer Science - UGC NET 2021 [ Question ID = 2341 ]
In software testing, beta testing is the testing performed by _______________. potential customers at the developer's location. potential customers at their own locations. product developers at the customer's location. product developers at their own locations.
In software testing, beta testing is the testing performed by _______________.potential customers at the developer's location.potential customers at their own locations.p...
User Avatar
Link Copied!