Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
VERIFY: a program for proving correctness of digital hardware designs
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Algebraic specification and verification of communication protocols
Science of Computer Programming
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Journal of the ACM (JACM)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Formal Models for Computer Security
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic execution and program testing
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Introduction to Computability
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Automated Reasoning: Introduction and Applications
Automated Reasoning: Introduction and Applications
Petri-Nets from the Engineer's Viewpoint
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Formal design verification of digital systems
DAC '83 Proceedings of the 20th Design Automation Conference
DAC '84 Proceedings of the 21st Design Automation Conference
A formal design verification system based on an automated reasoning system
DAC '84 Proceedings of the 21st Design Automation Conference
Verification of timing constraints on large digital systems
DAC '80 Proceedings of the 17th Design Automation Conference
Petri nets as a common tool for design verification and hardware simulation
DAC '76 Proceedings of the 13th Design Automation Conference
A functional level modelling language for digital simulation
DAC '82 Proceedings of the 19th Design Automation Conference
The application of program verification techniques to hardware verification
DAC '79 Proceedings of the 16th Design Automation Conference
Hardware verification.
Formal verification of digital systems (hierarchical modeling, petri nets, verification, rule-based)
Formal verification of digital systems (hierarchical modeling, petri nets, verification, rule-based)
A rule-based circuit representation for automated CMOS design and verification
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
IEEE Transactions on Computers
Verification method of dataflow algorithms in high-level synthesis
Journal of Systems and Software
Probabilistic compositional reasoning for guaranteeing fault tolerance properties
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Hi-index | 14.98 |
A formal verification system based on the use of automated reasoning techniques is described to validate fault tolerance. An extended Petri net representation, called a flow net, is described together with the theorem-proving implementation of a rule-based system for manipulating system descriptions. Examples taken from the literature are used to illustrate the representation and the capabilities of the formal verification system under development.