Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
7
Mathematical theory of computation
7
Systems analysis and design
4
Computer architecture and logic design
3
Software Engineering
3
Software testing and verification
3
Technology: general issues
3
Computer architecture & logic design
2
Formal verification
2
Software testing & verification
2
Systems analysis & design
2
formal verification
2
Accident prevention
1
Alignment
1
Alignment algorithms
1
Artificial Intelligence
1
Automatic verification
1
Automation
1
Bioinformatics
1
Business mathematics & systems
1
Classical problems
1
Collaborative robot safety
1
Collaborative robots
1
Computability logic
1
Computer aided design
1
Computer modelling & simulation
1
Computer modelling and simulation
1
Computer programming / software development
1
Computer programming / software engineering
1
Computer science
1
-
1
-
2by Lu, Jianping“... of interest in formal verification, in which a mathematical model of the design is proved to satisfy a precise...”
Published 1999
Get full text
Get full text
Others -
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10by Dragomir, Ciprian“.... In this thesis we directly address the formal verification of membrane systems by means of model checking. A...”
Published 2016
Get full text
-
11
-
12
-
13by Parikh, AnkurSubjects: “...formal verification...”
Published 2014
Get full text
Get full text
Others -
14
-
15
-
16by Hana Chockler“... the applications of causality to formal verification, namely, explanation of counterexamples, refinement...”
Published 2016-08-01
Get full text
Article -
17by Ralf Huuck“... by software developers and engineers, who might have no background in formal verification? And how to convince...”
Published 2012-12-01
Get full text
Article -
18by Lu, Zheng“... report the formal verification of the conformance of the open source Netgear WNR3500L wireless router...”
Published 2012
Get full text
Others -
19
-
20