Results 311 to 320 of about 1,643,554 (351)
Some of the next articles are maybe not open access.
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Yang Liu
exaly
Formal specification of multicomputers
1996Formal Methods of specification can play an important role in exploring the behaviour of complex systems, as distributed systems or parallel computing. Lotos, based on algebra of processes, has been chosen as an international standard for specifying many systems.
openaire +1 more source
Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures
ACM Trans. Design Autom. Electr. Syst., 2012Freek Verbeek, J. Schmaltz
semanticscholar +1 more source
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Lectures on Runtime Verification, 2018E. Bartocci +6 more
semanticscholar +1 more source
Formal Methods in Railways: A Systematic Mapping Study
ACM Computing Surveys, 2023Alessio Ferrari, Maurice H Ter Beek
exaly
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck +2 more
exaly
Formal Specification and Testing of Model Transformations
International School on Formal Methods for the Design of Computer, Communication and Software Systems, 2012Antonio Vallecillo +4 more
semanticscholar +1 more source
Formal specification of the x86 instruction set architecture
, 2012Ulan Degenbaev
semanticscholar +1 more source