Academic literature on the topic 'Formal verification'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formal verification.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Formal verification"
Meenakshi, B. "Formal verification." Resonance 10, no. 5 (May 2005): 26–38. http://dx.doi.org/10.1007/bf02871329.
Full textBjesse, Per. "What is formal verification?" ACM SIGDA Newsletter 35, no. 24 (December 15, 2005): 1. http://dx.doi.org/10.1145/1113792.1113794.
Full textSchlipf, T., T. Buechner, R. Fritz, M. Helms, and J. Koehl. "Formal verification made easy." IBM Journal of Research and Development 41, no. 4.5 (July 1997): 567–76. http://dx.doi.org/10.1147/rd.414.0567.
Full textSauvage, Laurent, Tarik Graba, and Thibault Porteboeuf. "Multi-level formal verification." Journal of Cryptographic Engineering 7, no. 1 (November 22, 2016): 87–95. http://dx.doi.org/10.1007/s13389-016-0144-3.
Full textNiculaescu, Oana. "What's formal software verification?" XRDS: Crossroads, The ACM Magazine for Students 25, no. 4 (July 9, 2019): 64–65. http://dx.doi.org/10.1145/3341815.
Full textFlores, Sonia, Salvador Lucas, and Alicia Villanueva. "Formal Verification of Websites." Electronic Notes in Theoretical Computer Science 200, no. 3 (May 2008): 103–18. http://dx.doi.org/10.1016/j.entcs.2008.04.095.
Full textXie, Guojun, Huanhuan Yang, Hao Deng, Zhengpu Shi, and Gang Chen. "Formal Verification of Robot Rotary Kinematics." Electronics 12, no. 2 (January 11, 2023): 369. http://dx.doi.org/10.3390/electronics12020369.
Full textGreengard, Samuel. "Formal software verification measures up." Communications of the ACM 64, no. 7 (July 2021): 13–15. http://dx.doi.org/10.1145/3464933.
Full textMichael, James Bret, Doron Drusinsky, and Duminda Wijesekera. "Formal Verification of Cyberphysical Systems." Computer 54, no. 9 (September 2021): 15–24. http://dx.doi.org/10.1109/mc.2021.3055883.
Full textQian, Junyan, and Baowen Xu. "Formal Verification for C Program." Informatica 18, no. 2 (January 1, 2007): 289–304. http://dx.doi.org/10.15388/informatica.2007.178.
Full textDissertations / Theses on the topic "Formal verification"
Tristan, Jean-Baptiste. "Formal verification of translation validators." Phd thesis, Université Paris-Diderot - Paris VII, 2009. http://tel.archives-ouvertes.fr/tel-00437582.
Full textTrinh, Cong Quy. "Formal Verification of Skiplist Algorithms." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-160314.
Full textDragomir, Ciprian. "Formal verification of P systems." Thesis, University of Sheffield, 2016. http://etheses.whiterose.ac.uk/15452/.
Full textHurd, J. "Formal verification of probabilistic algorithms." Thesis, University of Cambridge, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604823.
Full textBotinčan, Matko. "Formal verification-driven parallelisation synthesis." Thesis, University of Cambridge, 2018. https://www.repository.cam.ac.uk/handle/1810/274136.
Full textJobredeaux, Romain J. "Formal verification of control software." Diss., Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/53841.
Full textParikh, Ankur. "Abstraction Guided Semi-formal Verification." Thesis, Virginia Tech, 2007. http://hdl.handle.net/10919/33596.
Full textMaster of Science
Bubel, Richard. "Formal verification of recursive predicates." [S.l. : s.n.], 2007. http://digbib.ubka.uni-karlsruhe.de/volltexte/1000008366.
Full textSuresh, Amrita. "Formal Verification of Communicating Automata." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG092.
Full textDistributed systems involve processes that run independently and communicate asynchronously. While they capture a wide range of use cases and are hence, ubiquitous in our world, it is also particularly difficult to ensure their correctness. In this thesis, we model such systems using mathematical and logical formulation, and try to algorithmically verify them. In particular, we focus on FIFO (First In First Out) machines, with one or more finite-state machines communicating via unbounded reliable FIFO buffers.As most verification problems are known to be undecidable for FIFO machines, we focus on various subclasses and approximations of the model. The first model we consider are branch-well structured transition systems (branch-WSTS), a class which strictly includes the well-known class of WSTS. We study the problems of boundedness and termination for such systems, and demonstrate some examples of them. We also define another class of systems where the monotony condition is relaxed and show that a variant of the coverability problem is decidable under effectivity conditions.We then study the restriction of input-boundedness on FIFO machines, and show that rational reachability and various other properties are decidable for FIFO machines under the input-bounded restriction. In doing so, we answer a long standing open question regarding the reachability for input-bounded FIFO machines. We also derive some complexity bounds by considering the simplest case, a FIFO machine with a single channel.Another restriction that we study is synchronizability in communicating systems. In particular, we study this notion for MSCs (Message Sequence Charts), which is a model to represent executions of a communicating system. We show that if any set of MSCs can satisfy two properties, namely MSO (Monadic Second-order Logic) definability and bounded (special-)tree width, then synchronizability is decidable. Moreover, reachability and model-checking are also decidable within this framework. We also unify some classes from the literature using this framework, and for some other classes, show their undecidability
Wei, Jijie. "Formal verification of a digital PLL." Thesis, University of British Columbia, 2014. http://hdl.handle.net/2429/50048.
Full textScience, Faculty of
Computer Science, Department of
Graduate
Books on the topic "Formal verification"
Kropf, Thomas, ed. Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63475-4.
Full textDrechsler, Rolf, ed. Advanced Formal Verification. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/b105236.
Full textDrechsler, Rolf, ed. Formal System Verification. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-57685-5.
Full textRolf, Drechsler, ed. Advanced formal verification. Boston: Kluwer Academic Publishers, 2004.
Find full textDrechsler, Rolf. Formal Verification of Circuits. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3184-2.
Full textDrechsler, Rolf. Formal Verification of Circuits. Boston, MA: Springer US, 2000.
Find full textBoulanger, Jean-Louis. Industrial used of formal method: Formal verification. London: ISTE, 2012.
Find full textKropf, Thomas. Introduction to Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.
Find full textBernardo, Marco, and Alessandro Cimatti, eds. Formal Methods for Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11757283.
Full textRay, Sandip. Scalable Techniques for Formal Verification. Boston, MA: Springer US, 2010. http://dx.doi.org/10.1007/978-1-4419-5998-0.
Full textBook chapters on the topic "Formal verification"
Rülling, Wolfgang. "Formal Verification." In The Electronic Design Automation Handbook, 329–38. Boston, MA: Springer US, 2003. http://dx.doi.org/10.1007/978-0-387-73543-6_14.
Full textBernadeschi, Cinzia, Alessandro Fantechi, and Stefania Gnesi. "Formal Verification." In A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, 139–55. Boston, MA: Springer US, 2001. http://dx.doi.org/10.1007/978-1-4757-3353-2_8.
Full textWeik, Martin H. "formal verification." In Computer Science and Communications Dictionary, 630. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_7435.
Full textStaunstrup, Jørgen. "Formal Verification." In A Formal Approach to Hardware Design, 47–80. Boston, MA: Springer US, 1994. http://dx.doi.org/10.1007/978-1-4615-2764-0_3.
Full textLin, Hai, and Panos J. Antsaklis. "Formal Verification." In Advanced Textbooks in Control and Signal Processing, 65–155. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-78731-8_3.
Full textWalter, Marcel, Robert Wille, Frank Sill Torres, and Rolf Drechsler. "Formal Verification." In Design Automation for Field-coupled Nanotechnologies, 135–49. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-89952-3_8.
Full textNielson, Flemming, and Hanne Riis Nielson. "Program Verification." In Formal Methods, 31–46. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05156-3_3.
Full textCoelho, Claudionor Nunes, and Harry D. Foster. "Assertion-Based Verification." In Advanced Formal Verification, 167–204. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/1-4020-2530-0_5.
Full textHazelhurst, Scott, and Carl-Johan H. Seger. "Symbolic trajectory evaluation." In Formal Hardware Verification, 3–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63475-4_1.
Full textCerny, E., F. Corella, M. Langevin, X. Song, S. Tahar, and Z. Zhou. "Automated verification with abstract state machines using multiway decision graphs." In Formal Hardware Verification, 79–113. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63475-4_2.
Full textConference papers on the topic "Formal verification"
Wolfsthal, Yaron, and Rebecca M. Gott. "Formal verification." In the 42nd annual conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1065579.1065755.
Full textDill, David, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev Ranjan, Gunnar Stålmarck, and Curt Widdoes. "Formal verification methods." In the 39th conference. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/513918.514064.
Full textDrechsler, Rolf, and Alireza Mahzoon. "Polynomial Formal Verification." In ICCAD '22: IEEE/ACM International Conference on Computer-Aided Design. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3508352.3561104.
Full textBeers, Robert. "Pre-RTL formal verification." In the 45th annual conference. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1391469.1391675.
Full textJang, Jae-Young, Shaz Qadeer, Matt Kaufmann, and Carl Pixley. "Formal verification of FIRE." In the 34th annual conference. New York, New York, USA: ACM Press, 1997. http://dx.doi.org/10.1145/266021.266059.
Full textDoghri, Ines. "Formal verification of WAHS." In the 8th international conference. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1416729.1416754.
Full text"Session 6: Formal verification." In 2007 IEEE International High Level Design Validation and Test Workshop. IEEE, 2007. http://dx.doi.org/10.1109/hldvt.2007.4392795.
Full text"Session 4: Formal verification." In 2008 IEEE International High Level Design Validation and Test Workshop. IEEE, 2008. http://dx.doi.org/10.1109/hldvt.2008.4695872.
Full textAgrawal, Arpan, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, and Yuriy Brun. "PRoofster: Automated Formal Verification." In 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 2023. http://dx.doi.org/10.1109/icse-companion58688.2023.00018.
Full textYang, Jin, and Avi Puder. "Tightly integrate dynamic verification with formal verification." In the 2005 conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1120725.1120860.
Full textReports on the topic "Formal verification"
Ernst, Michael. Verification Games: Crowd-Sourced Formal Verification. Fort Belvoir, VA: Defense Technical Information Center, March 2016. http://dx.doi.org/10.21236/ad1006471.
Full textAndronick, June, and Gerwin Klein. Formal System Verification - Extension 2. Fort Belvoir, VA: Defense Technical Information Center, August 2012. http://dx.doi.org/10.21236/ada570949.
Full textMayer, Barbara A., and Monica M. Lu. Guidelines for Formal Verification Systems. Fort Belvoir, VA: Defense Technical Information Center, April 1989. http://dx.doi.org/10.21236/ada385357.
Full textPunnoose, Ratish J., Robert C. Armstrong, Matthew H. Wong, and Mayo Jackson. Survey of Existing Tools for Formal Verification. Office of Scientific and Technical Information (OSTI), December 2014. http://dx.doi.org/10.2172/1166644.
Full textAndronick, June, and Gerwin Klein. Formal System Verification for Trustworthy Embedded Systems. Fort Belvoir, VA: Defense Technical Information Center, April 2011. http://dx.doi.org/10.21236/ada541318.
Full textBerry, Daniel M. Formal Specification and Verification of Concurrent Programs. Fort Belvoir, VA: Defense Technical Information Center, February 1993. http://dx.doi.org/10.21236/ada265201.
Full textChavan, Anand, Byoung Woo Min, and Shiu-Kai Chin. HOL2GDT a Formal Verification-Based Design Methodology. Fort Belvoir, VA: Defense Technical Information Center, April 2001. http://dx.doi.org/10.21236/ada387742.
Full textMeadows, Catherine A. Formal Verification of Cryptographic Protocols: A Survey. Fort Belvoir, VA: Defense Technical Information Center, January 1995. http://dx.doi.org/10.21236/ada464292.
Full textBrackin, Stephen H., and Ian Sutherland. Formal Verification of Mathematical Software. Volume 2. Fort Belvoir, VA: Defense Technical Information Center, May 1990. http://dx.doi.org/10.21236/ada223633.
Full textDill, David L. A Federal Approach to Formal Hardware Design Verification. Fort Belvoir, VA: Defense Technical Information Center, April 2002. http://dx.doi.org/10.21236/ada400999.
Full text