Results 31 to 40 of about 2,084,052 (380)
Declarative Specification [PDF]
, 1996 Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods.
David Robertson +11 more
core +1 more source
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning
International Joint Conference on Artificial Intelligence, 2019 In Reinforcement Learning (RL), an agent is guided by the rewards it receives from the reward function. Unfortunately, it may take many interactions with the environment to learn from sparse rewards, and it can be challenging to specify reward functions ...
Alberto Camacho +4 more
semanticscholar +1 more source
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Symposium on Operating Systems Principles, 2021 This paper reports our experience applying lightweight formal methods to validate the correctness of ShardStore, a new key-value storage node implementation for the Amazon S3 cloud object storage service.
James Bornholt +11 more
semanticscholar +1 more source
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World [PDF]
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), 2020 We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in the real world ...
Daniel J. Fremont +9 more
semanticscholar +1 more source
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Abadi +16 more
core +1 more source
A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model
IEEE Access, 2019 The semi-formal verification method, in which the functionality is formally specified and the checking is undertaken through the formal model-based simulation, has been a promising choice for the functional verification of hardware designs.
Zhao Lv +3 more
doaj +1 more source
Testing refinements by refining tests [PDF]
, 1998 One of the potential benefits of formal methods is that they offer the possibility of reducing the costs of testing. A specification acts as both the benchmark against which any implementation is tested, and also as the means by which tests are generated.
C. Wezeman +15 more
core +3 more sources
Towards a Formal Specification Framework for Manufacturing Execution Systems [PDF]
IEEE Transactions on Industrial Informatics, 2012 Manufacturing Execution Systems (MES) optimize production and business processes at the same time. However, the engineering and specification of MES is a challenging, interdisciplinary process.
Maria Witsch, B. Vogel‐Heuser
semanticscholar +1 more source
Redevelopment of an industrial case study using Event-B and Rodin [PDF]
, 2007 CDIS is a commercial air traffic information system that was developed using formal methods 15 years ago by Praxis, and it is still in operation today. This system is an example of an industrial scale system that has been developed using formal methods ...
Butler, Michael +2 more
core +3 more sources
Introduction to Formal Methods for Software Engineering
Measurement + Control, 1993 This paper describes what is meant by formal methods for software engineering. It is intended for the non-mathematical reader, and a simple formal specification is presented. The process of formal specification, development and proof is described briefly.
Trevor King
doaj +1 more source