Results 231 to 240 of about 34,882,646 (291)
Some of the next articles are maybe not open access.
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting
International Conference on Applied Algorithms, 2023Large language models (LLMs) such as ChatGPT have been trained to generate human-like responses to natural language prompts. LLMs use a vast corpus of text data for training, and can generate coherent and contextually relevant responses to a wide range ...
Susmit Jha +5 more
semanticscholar +1 more source
Formal Methods for the Verification of Smart Contracts: A Review
International Conference on Security of Information and Networks, 2022Smart contracts are digital contracts that rely on Blockchain technology to make their terms and execution conditions unforgeable. The purpose of a smart contract is to eliminate the need for a middleman in business and trade between anonymous and ...
M. Krichen +2 more
semanticscholar +1 more source
Are Formal Methods Applicable To Machine Learning And Artificial Intelligence?
2022 2nd International Conference of Smart Systems and Emerging Technologies (SMARTTECH), 2022Formal approaches can provide strict correctness guarantees for the development of both hardware and software systems. In this work, we examine state-of-the-art formal methods for the verification and validation of machine learning systems in particular.
M. Krichen +4 more
semanticscholar +1 more source
Formal Methods with a Touch of Magic
Formal Methods in Computer-Aided Design, 2020Machine learning and formal methods have complimentary benefits and drawbacks. In this work, we address the controller-design problem with a combination of techniques from both fields.
P. A. Alamdari +3 more
semanticscholar +1 more source
A formal methods approach to interpretable reinforcement learning for robotic planning
Science Robotics, 2019A formal methods approach to reinforcement learning generates rewards from a formal language and guarantees safety. Growing interest in reinforcement learning approaches to robotic planning and control raises concerns of predictability and safety of ...
Xiao Li +3 more
semanticscholar +1 more source
IEEE Software, 2019
Formal methods are mathematically based approaches for specifying, building, and reasoning about software. Despite 50 years of research and development, formal methods have had only limited impact in industry.
John D. Backes +10 more
semanticscholar +1 more source
Formal methods are mathematically based approaches for specifying, building, and reasoning about software. Despite 50 years of research and development, formal methods have had only limited impact in industry.
John D. Backes +10 more
semanticscholar +1 more source
Robotics and Integrated Formal Methods: Necessity meets Opportunity
International Conference on Integrated Formal Methods, 2018Robotic systems are multi-dimensional entities, combining both hardware and software, that are heavily dependent on, and influenced by, interactions with the real world.
M. Farrell +2 more
semanticscholar +1 more source
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