Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • A Formal Approach to Practical...

Treffer: A Formal Approach to Practical Software Verification

Title:
A Formal Approach to Practical Software Verification
Authors:
Radu Iosif
Contributors:
The Pennsylvania State University CiteSeerX Archives
Source:
http://www.dai-arc.polito.it/dai-arc/manual/tools/yav/phd2000.ps.gz.
Publication Year:
2000
Collection:
CiteSeerX
Document Type:
Fachzeitschrift text
File Description:
application/postscript
Language:
English
Relation:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.885
Availability:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.885
http://www.dai-arc.polito.it/dai-arc/manual/tools/yav/phd2000.ps.gz
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.409C7AFF
Database:
BASE

Weitere Informationen

Interpretation and Partition Refinement for Model Checking. Ph. D. Thesis, Eindhoven University of Technology, 1996. [DDR00] J. Katoen D. Distefano and A. Rensink. On a temporal logic for object-based systems. Proceedings of Formal Methods for Open Object-Based Distributed Systems, 2000. [DH99] M. Dwyer and J. Hatcliff. Slicing software for model construction. Proceedings of ACM SIGPLAN Partial Evaluation and Program Manipulation, January 1999. [DP98] M. Dwyer and C. Pasareanu. Filter-based model checking of partial systems. Software Engineering Notes, Volume 23, pp. 189 -- 202, November 1998. [DPD00] J. Skakkebaek D. Park, U. Stern and D. Dill. Java model checking. Proceedings of the First International Workshop on Automated Program Analysis, Testing and Verification, pp 74--82, June 2000. [Dwy98] Matthew Dwyer. Property pattern mappings for ltl . http://www.cis.ksu.edu/santos/spec-patterns/ltl.html, 1998. [EC98] G. Reggio E. Coscia. A proposal for a semantics of a subset of m.