Property Specification Language and Mining Specifications

@inproceedings{ChakrabortyPropertySL,
  title={Property Specification Language and Mining Specifications},
  author={Supratik Chakraborty}
}
Formal methods increase a system’s reliability to a very large extent. It has still not found wide spread acceptance due to its complex and hard-to-implement nature. The necessity of charting thorough and correct specifications of systems is one major deterrent in adopting formal methods. In this report we study two ideas that attempt to reduce this complexity involved in coding system specifications. Property Specification Language (PSL) is a language used in formal methods to specify logic… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-3 OF 3 CITATIONS

Model-driven test generation for system level validation

  • 2007 IEEE International High Level Design Validation and Test Workshop
  • 2007
VIEW 12 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

References

Publications referenced by this paper.
SHOWING 1-2 OF 2 REFERENCES

Language identification to the limit

Mark E. Gold
  • Information and Control,
  • 1967
VIEW 1 EXCERPT