Results 221 to 230 of about 129,094 (257)
Some of the next articles are maybe not open access.
Formal modeling and verification of microprocessors
IEEE Transactions on Computers, 1995Summary: Formal verification has long been promised as a means of reducing the amount of testing required to ensure correct VLSI devices. Verification requires at least two mathematical models: one that describes the structure of a computer system and another that models its intended behavior. These models are called specifications.
openaire +2 more sources
Formal verification of μ-charts
Ninth Asia-Pacific Software Engineering Conference, 2002., 2003This paper describes an experiment in the formal verification of μ-charts, a Statechart-like language with instantaneous communication. Properties of μ-charts are verified using a theory of chart refinement. By modelling μ-charts in the language of CSP used here as a semantic metalanguage, chart refinement is reduced to CSP trace refinement, which ...
openaire +3 more sources
Workshop on formal verification
ACM SIGSOFT Software Engineering Notes, 1980There has been significant progress in the formal verification of system designs and of programs in the last few years, but there are many problems remaining. In an effort to assess the state of the art on the practical side of formal verification, a workshop (VERkshop) was held in April at SRI, co-organized by Peter Neumann and Steve ...
openaire +1 more source
Formal Verification Of FIRE: A Case Study
Proceedings of the 34th Design Automation Conference, 1997We present our experiences with the formal verification of an automotivechip used to control the safety features in a car. We useda BDD based model checker in our work. We describe our verificationmethodology for verifying a very complicated property on arelatively large design.
Jae-Young Jang +3 more
openaire +1 more source
2011
These lectures are intended to give a broad overview of the most important formal verification techniques. These methods are applicable to hardware, software, protocols etc. and even to checking proofs in pure mathematics, though I will emphasize the applications to verification.
openaire +2 more sources
These lectures are intended to give a broad overview of the most important formal verification techniques. These methods are applicable to hardware, software, protocols etc. and even to checking proofs in pure mathematics, though I will emphasize the applications to verification.
openaire +2 more sources
Formal verification of the Pastry protocol
Vérification formelle du protocole Pastry Le protocole Pastry réalise une table de hachage distribué sur un réseau pair à pair organisé en un anneau virtuel de noeuds. Alors qu'il existe plusieurs implémentations de Pastry, il n'y a pas encore eu de travaux pour décrire formellement l'algorithme ou vérifier son bon fonctionnement ...openaire +2 more sources
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Shang-Wei Lin, Palina Tolmach
exaly
Formale Verifikationsverfahren (Formal Verification)
it - Information Technology, 2001openaire +1 more source