A General Framework to Build Contextual Cover Set Induction Provers

@article{Stratulat2001AGF,
  title={A General Framework to Build Contextual Cover Set Induction Provers},
  author={Sorin Stratulat},
  journal={J. Symb. Comput.},
  year={2001},
  volume={32},
  pages={403-445}
}
Cover set induction is known as a proof method that keeps the advantages of explicit induction and proof by consistency. Most implicit induction proof procedures are defined in a cover set induction framework. Contextual cover set (CCS) is a new concept that fully characterizes explicit induction schemes, such as the cover sets, and many simplification techniques as those specific to the “proof by consistency" approach. Firstly, we present an abstract inference system uniformly defined in terms… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 44 CITATIONS

An Efficient Formal Framework for Intrusion Detection Systems

VIEW 7 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Requirements-driven Verification of WSBPEL Processes

  • IEEE International Conference on Web Services (ICWS 2007)
  • 2007
VIEW 10 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Implementing Reasoning Modules in Implicit Induction Theorem Provers

  • 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
  • 2014
VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS

Event-Based Design and Runtime Verification of Composite Service Transactional Behavior

  • IEEE Transactions on Services Computing
  • 2010
VIEW 7 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

'Descente Infinie' Induction-Based Saturation Procedures

  • Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007)
  • 2007
VIEW 18 EXCERPTS
CITES BACKGROUND & RESULTS

Formal verification of composite service recovery mechanisms consistency

  • 2007 International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007)
  • 2007
VIEW 7 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Automatic 'Descente Infinie' Induction Reasoning

  • TABLEAUX
  • 2005
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS

VOTE: Group Editors Analyzing Tool: System Description

  • Electr. Notes Theor. Comput. Sci.
  • 2003
VIEW 10 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED