Verification is experimentation!

DOI10.1007/S100090100050MaRDI QIDQ1606799zbMATH OpenOpenAlexFDO

Authors Ed Brinksma

Publication date 25 July 2002

Published in International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s100090100050, https://ris.utwente.nl/ws/files/247277292/Brinksma2001verification.pdf

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computer science aspects of computer-aided design (68U07) Computing methodologies and applications (68U99)

Recommendations

• Verification is experimentation!
• Overview of verification
• A realistic involvement of formal methods
• Truth/SLC -- a parallel verification platform for concurrent systems
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem

Cited in

(10)

• The symbiosis of concurrency and verification: teaching and case studies
• The tokeneer experiments
• Can semi-formal be made more formal?
• Social processes, program verification and all that
• Overview of verification
• Verification is experimentation!
• Yeast: a case study for a practical use of formal methods
• Conventional verification for unconventional computing: a genetic XOR gate example
• Automated Technology for Verification and Analysis
• Hoare logic-based genetic programming

This page was built for publication: Verification is experimentation!

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1606799)