Author image not provided
 Bruno Cuervo Parrino

Authors:
Add personal information
 
Bibliometrics: publication history
Average citations per article3.00
Citation Count3
Publication count1
Publication years2011-2011
Available for download0
Average downloads per article0.00
Downloads (cumulative)0
Downloads (12 Months)0
Downloads (6 Weeks)0
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author



BOOKMARK & SHARE


1 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 1 of 1
Sort by:

1
November 2011 SEFM'11: Proceedings of the 9th international conference on Software engineering and formal methods
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 2

SAT-based bounded verification of programs consists of the translation of the code and its annotations into a propositional formula. The formula is then analyzed for specification violations using a SATsolver. This technique is capable of proving the absence of errors up to a given scope. SAT is a well-known NP-complete ...



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2019 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us