formal-verification

相关标签：javascript jquery android 多少钱 iPhone

Should I use computer-aided verification tools?

I am interested in proving that some robot controller does not reach any faulty state, which I would define by a set of predicates. I know that there are open-source software tools to achieve that. Fo[详细]

2023-02-14 04:17 分类：问答
Code Contracts failing example Graph.Remove(Edge e)

Here\'s a simple graph manipulation method which I have decorated with Code Contracts. The ensures claim won\'t prove but I can\'t see why!I believe it claims that after calling Remove(), either the[详细]

2023-02-08 08:37 分类：问答
Formal and testable API definition

Is there a formal language-independent language for describing an API? I want to define a utility library to be used across a number of architectures and would like some way to programatically test th[详细]

2023-02-05 18:17 分类：问答
Want tool to obtain linear temporal logic spec from UML 2.0 sequence diagram

i am working on checking model consistency of software. to do this i need to write linear temporal logic for UML 2.0 sequence diagram. if any body have any other tool for the same please response as s[详细]

2022-12-30 11:56 分类：问答
Splitting a test to a set of smaller tests

I want to be able to split a big test to smaller tests so that when the smaller tests pass they imply that the big test would also pass (so there is no reason to run the original big test). I want to[详细]

2022-12-27 15:58 分类：问答
Formally verifying the correctness of an algorithm

First of all, is thi开发者_Python百科s only possible on algorithms which have no side effects? Secondly, where could I learn about this process, any good books, articles, etc?COQ is a proof assistant[详细]

2022-12-18 02:28 分类：问答