Automatic formal verification of software: Fundamental concepts

Automatic formal verification of software: Fundamental concepts

Formal verification of software is undergoing a renaissance, as highly successful, automatic formal techniques developed for hardware verification are combining with classical software analysis techniques to produce practical, useful tools that scale to large, complicated software. This paper briefl...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Hu, A.J.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Computer science
Counting circuits
Formal verification
Hardware
Logic
Software systems
Software testing
Software tools
Very large scale integration
Vocabulary
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 1159
container_issue
container_start_page 1155
container_title
container_volume
creator Hu, A.J.
description Formal verification of software is undergoing a renaissance, as highly successful, automatic formal techniques developed for hardware verification are combining with classical software analysis techniques to produce practical, useful tools that scale to large, complicated software. This paper briefly introduces the fundamental concepts behind this renaissance.
doi_str_mv 10.1109/ICCCAS.2009.5250313
format Conference Proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5250313</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5250313</ieee_id><sourcerecordid>5250313</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-d3d13248876228ce8b8f31cfce18c7ca9ed9a8036e19e65fb970bb6fb97f0fad3</originalsourceid><addsrcrecordid>eNpFT81qwzAY8xiFrT9P0ItfINnnnyT2LiOYdSsUdmjvxXE-g0cTl8Td2NsvZYXpIiSEkAhZM8gZA_20NcbU-5wD6LzgBQgm7sicSS6lVEqJ-39RVjMyvwY1FJN6IKtx_IQJsuAK2CN5qS8pdjYFR30cOnuiXzgEH9xkxZ5GT8fo07cd8JluLn1rO-zTlHKxd3hO45LMvD2NuLrxghw2rwfznu0-3ram3mVBQ8pa0TLBpz1VyblyqBrlBXPeIVOuclZjq60CUSLTWBa-0RU0TXllD962YkHWf7UBEY_nIXR2-DnezotfxJ1NCA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Automatic formal verification of software: Fundamental concepts</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Hu, A.J.</creator><creatorcontrib>Hu, A.J.</creatorcontrib><description>Formal verification of software is undergoing a renaissance, as highly successful, automatic formal techniques developed for hardware verification are combining with classical software analysis techniques to produce practical, useful tools that scale to large, complicated software. This paper briefly introduces the fundamental concepts behind this renaissance.</description><identifier>ISBN: 1424448867</identifier><identifier>ISBN: 9781424448869</identifier><identifier>EISBN: 1424448883</identifier><identifier>EISBN: 9781424448883</identifier><identifier>DOI: 10.1109/ICCCAS.2009.5250313</identifier><identifier>LCCN: 2009905886</identifier><language>eng</language><publisher>IEEE</publisher><subject>Computer science ; Counting circuits ; Formal verification ; Hardware ; Logic ; Software systems ; Software testing ; Software tools ; Very large scale integration ; Vocabulary</subject><ispartof>2009 International Conference on Communications, Circuits and Systems, 2009, p.1155-1159</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5250313$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5250313$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Hu, A.J.</creatorcontrib><title>Automatic formal verification of software: Fundamental concepts</title><title>2009 International Conference on Communications, Circuits and Systems</title><addtitle>ICCCAS</addtitle><description>Formal verification of software is undergoing a renaissance, as highly successful, automatic formal techniques developed for hardware verification are combining with classical software analysis techniques to produce practical, useful tools that scale to large, complicated software. This paper briefly introduces the fundamental concepts behind this renaissance.</description><subject>Computer science</subject><subject>Counting circuits</subject><subject>Formal verification</subject><subject>Hardware</subject><subject>Logic</subject><subject>Software systems</subject><subject>Software testing</subject><subject>Software tools</subject><subject>Very large scale integration</subject><subject>Vocabulary</subject><isbn>1424448867</isbn><isbn>9781424448869</isbn><isbn>1424448883</isbn><isbn>9781424448883</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2009</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNpFT81qwzAY8xiFrT9P0ItfINnnnyT2LiOYdSsUdmjvxXE-g0cTl8Td2NsvZYXpIiSEkAhZM8gZA_20NcbU-5wD6LzgBQgm7sicSS6lVEqJ-39RVjMyvwY1FJN6IKtx_IQJsuAK2CN5qS8pdjYFR30cOnuiXzgEH9xkxZ5GT8fo07cd8JluLn1rO-zTlHKxd3hO45LMvD2NuLrxghw2rwfznu0-3ram3mVBQ8pa0TLBpz1VyblyqBrlBXPeIVOuclZjq60CUSLTWBa-0RU0TXllD962YkHWf7UBEY_nIXR2-DnezotfxJ1NCA</recordid><startdate>200907</startdate><enddate>200907</enddate><creator>Hu, A.J.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>200907</creationdate><title>Automatic formal verification of software: Fundamental concepts</title><author>Hu, A.J.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-d3d13248876228ce8b8f31cfce18c7ca9ed9a8036e19e65fb970bb6fb97f0fad3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2009</creationdate><topic>Computer science</topic><topic>Counting circuits</topic><topic>Formal verification</topic><topic>Hardware</topic><topic>Logic</topic><topic>Software systems</topic><topic>Software testing</topic><topic>Software tools</topic><topic>Very large scale integration</topic><topic>Vocabulary</topic><toplevel>online_resources</toplevel><creatorcontrib>Hu, A.J.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Hu, A.J.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Automatic formal verification of software: Fundamental concepts</atitle><btitle>2009 International Conference on Communications, Circuits and Systems</btitle><stitle>ICCCAS</stitle><date>2009-07</date><risdate>2009</risdate><spage>1155</spage><epage>1159</epage><pages>1155-1159</pages><isbn>1424448867</isbn><isbn>9781424448869</isbn><eisbn>1424448883</eisbn><eisbn>9781424448883</eisbn><abstract>Formal verification of software is undergoing a renaissance, as highly successful, automatic formal techniques developed for hardware verification are combining with classical software analysis techniques to produce practical, useful tools that scale to large, complicated software. This paper briefly introduces the fundamental concepts behind this renaissance.</abstract><pub>IEEE</pub><doi>10.1109/ICCCAS.2009.5250313</doi><tpages>5</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 1424448867
ispartof 2009 International Conference on Communications, Circuits and Systems, 2009, p.1155-1159
issn
language eng
recordid cdi_ieee_primary_5250313
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Computer science
Counting circuits
Formal verification
Hardware
Logic
Software systems
Software testing
Software tools
Very large scale integration
Vocabulary
title Automatic formal verification of software: Fundamental concepts
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-26T21%3A33%3A24IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Automatic%20formal%20verification%20of%20software:%20Fundamental%20concepts&rft.btitle=2009%20International%20Conference%20on%20Communications,%20Circuits%20and%20Systems&rft.au=Hu,%20A.J.&rft.date=2009-07&rft.spage=1155&rft.epage=1159&rft.pages=1155-1159&rft.isbn=1424448867&rft.isbn_list=9781424448869&rft_id=info:doi/10.1109/ICCCAS.2009.5250313&rft_dat=%3Cieee_6IE%3E5250313%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=1424448883&rft.eisbn_list=9781424448883&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5250313&rfr_iscdi=true