Results 281 to 290 of about 4,463,103 (324)
Some of the next articles are maybe not open access.
2019
This chapter gives a brief overview of some formal methods and their use in the context of critical embedded systems development. While testing is a common practice for a lot of engineers as a way to evaluate whether the program they developed fulfills its needs, formal methods are less known and may require a little introduction to the non-expert ...
Flemming Nielson, Hanne Riis Nielson
+5 more sources
This chapter gives a brief overview of some formal methods and their use in the context of critical embedded systems development. While testing is a common practice for a lot of engineers as a way to evaluate whether the program they developed fulfills its needs, formal methods are less known and may require a little introduction to the non-expert ...
Flemming Nielson, Hanne Riis Nielson
+5 more sources
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013
Formal methods research has made tremendous progress since the 1980s when a proof using a theorem prover was worthy of a Ph.D. thesis and a bug in a VLSI textbook was found using a model checker. Now, with advances in theorem proving, model checking, satisfiability modulo theories (SMT) solvers, and program analysis, the engines of formal methods are ...
openaire +2 more sources
Formal methods research has made tremendous progress since the 1980s when a proof using a theorem prover was worthy of a Ph.D. thesis and a bug in a VLSI textbook was found using a model checker. Now, with advances in theorem proving, model checking, satisfiability modulo theories (SMT) solvers, and program analysis, the engines of formal methods are ...
openaire +2 more sources
Toward Formal-Methods Oecumenism?
IEEE Distributed Systems Online, 2006Model checking is rather poor when properties deal not with causality of events but with data types or recursive constructs. In that area, algebraic methods, even if they're more complex to grasp, are much more appropriate and efficient. And it's true that, with Petri nets, you can do both model checking and a sort of parameterized analysis.
Kordon, Fabrice, Petrucci, Laure
openaire +2 more sources
From formal models to formal methods
1995Despite apparent success in using formal models to capture principles of human-system interaction, there are few accounts that consider how these results might be applied in practical software development. This paper is based on work conducted within an ESPRIT Basic Research Action (Amodeus-2) investigating means of design expression and transfer ...
D. J. Duke, M. D. Harrison
openaire +1 more source
Molecular imaging in oncology: Current impact and future directions
Ca-A Cancer Journal for Clinicians, 2022Steven P Rowe, Martin G Pomper
exaly