Gotowa bibliografia na temat „Formal verification”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Formal verification”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Formal verification"
Meenakshi, B. "Formal verification". Resonance 10, nr 5 (maj 2005): 26–38. http://dx.doi.org/10.1007/bf02871329.
Pełny tekst źródłaBjesse, Per. "What is formal verification?" ACM SIGDA Newsletter 35, nr 24 (15.12.2005): 1. http://dx.doi.org/10.1145/1113792.1113794.
Pełny tekst źródłaSchlipf, T., T. Buechner, R. Fritz, M. Helms i J. Koehl. "Formal verification made easy". IBM Journal of Research and Development 41, nr 4.5 (lipiec 1997): 567–76. http://dx.doi.org/10.1147/rd.414.0567.
Pełny tekst źródłaSauvage, Laurent, Tarik Graba i Thibault Porteboeuf. "Multi-level formal verification". Journal of Cryptographic Engineering 7, nr 1 (22.11.2016): 87–95. http://dx.doi.org/10.1007/s13389-016-0144-3.
Pełny tekst źródłaNiculaescu, Oana. "What's formal software verification?" XRDS: Crossroads, The ACM Magazine for Students 25, nr 4 (9.07.2019): 64–65. http://dx.doi.org/10.1145/3341815.
Pełny tekst źródłaFlores, Sonia, Salvador Lucas i Alicia Villanueva. "Formal Verification of Websites". Electronic Notes in Theoretical Computer Science 200, nr 3 (maj 2008): 103–18. http://dx.doi.org/10.1016/j.entcs.2008.04.095.
Pełny tekst źródłaXie, Guojun, Huanhuan Yang, Hao Deng, Zhengpu Shi i Gang Chen. "Formal Verification of Robot Rotary Kinematics". Electronics 12, nr 2 (11.01.2023): 369. http://dx.doi.org/10.3390/electronics12020369.
Pełny tekst źródłaGreengard, Samuel. "Formal software verification measures up". Communications of the ACM 64, nr 7 (lipiec 2021): 13–15. http://dx.doi.org/10.1145/3464933.
Pełny tekst źródłaMichael, James Bret, Doron Drusinsky i Duminda Wijesekera. "Formal Verification of Cyberphysical Systems". Computer 54, nr 9 (wrzesień 2021): 15–24. http://dx.doi.org/10.1109/mc.2021.3055883.
Pełny tekst źródłaQian, Junyan, i Baowen Xu. "Formal Verification for C Program". Informatica 18, nr 2 (1.01.2007): 289–304. http://dx.doi.org/10.15388/informatica.2007.178.
Pełny tekst źródłaRozprawy doktorskie na temat "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.
Pełny tekst źródłaTrinh, 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.
Pełny tekst źródłaDragomir, Ciprian. "Formal verification of P systems". Thesis, University of Sheffield, 2016. http://etheses.whiterose.ac.uk/15452/.
Pełny tekst źródłaHurd, J. "Formal verification of probabilistic algorithms". Thesis, University of Cambridge, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.604823.
Pełny tekst źródłaBotinčan, Matko. "Formal verification-driven parallelisation synthesis". Thesis, University of Cambridge, 2018. https://www.repository.cam.ac.uk/handle/1810/274136.
Pełny tekst źródłaJobredeaux, Romain J. "Formal verification of control software". Diss., Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/53841.
Pełny tekst źródłaParikh, Ankur. "Abstraction Guided Semi-formal Verification". Thesis, Virginia Tech, 2007. http://hdl.handle.net/10919/33596.
Pełny tekst źródłaMaster of Science
Bubel, Richard. "Formal verification of recursive predicates". [S.l. : s.n.], 2007. http://digbib.ubka.uni-karlsruhe.de/volltexte/1000008366.
Pełny tekst źródłaSuresh, Amrita. "Formal Verification of Communicating Automata". Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG092.
Pełny tekst źródłaDistributed 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.
Pełny tekst źródłaScience, Faculty of
Computer Science, Department of
Graduate
Książki na temat "Formal verification"
Kropf, Thomas, red. Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63475-4.
Pełny tekst źródłaDrechsler, Rolf, red. Advanced Formal Verification. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/b105236.
Pełny tekst źródłaDrechsler, Rolf, red. Formal System Verification. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-57685-5.
Pełny tekst źródłaRolf, Drechsler, red. Advanced formal verification. Boston: Kluwer Academic Publishers, 2004.
Znajdź pełny tekst źródłaDrechsler, Rolf. Formal Verification of Circuits. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4757-3184-2.
Pełny tekst źródłaDrechsler, Rolf. Formal Verification of Circuits. Boston, MA: Springer US, 2000.
Znajdź pełny tekst źródłaBoulanger, Jean-Louis. Industrial used of formal method: Formal verification. London: ISTE, 2012.
Znajdź pełny tekst źródłaKropf, Thomas. Introduction to Formal Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.
Znajdź pełny tekst źródłaBernardo, Marco, i Alessandro Cimatti, red. Formal Methods for Hardware Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11757283.
Pełny tekst źródłaRay, Sandip. Scalable Techniques for Formal Verification. Boston, MA: Springer US, 2010. http://dx.doi.org/10.1007/978-1-4419-5998-0.
Pełny tekst źródłaCzęści książek na temat "Formal verification"
Rülling, Wolfgang. "Formal Verification". W The Electronic Design Automation Handbook, 329–38. Boston, MA: Springer US, 2003. http://dx.doi.org/10.1007/978-0-387-73543-6_14.
Pełny tekst źródłaBernadeschi, Cinzia, Alessandro Fantechi i Stefania Gnesi. "Formal Verification". W 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.
Pełny tekst źródłaWeik, Martin H. "formal verification". W Computer Science and Communications Dictionary, 630. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_7435.
Pełny tekst źródłaStaunstrup, Jørgen. "Formal Verification". W 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.
Pełny tekst źródłaLin, Hai, i Panos J. Antsaklis. "Formal Verification". W 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.
Pełny tekst źródłaWalter, Marcel, Robert Wille, Frank Sill Torres i Rolf Drechsler. "Formal Verification". W 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.
Pełny tekst źródłaNielson, Flemming, i Hanne Riis Nielson. "Program Verification". W Formal Methods, 31–46. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05156-3_3.
Pełny tekst źródłaCoelho, Claudionor Nunes, i Harry D. Foster. "Assertion-Based Verification". W Advanced Formal Verification, 167–204. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/1-4020-2530-0_5.
Pełny tekst źródłaHazelhurst, Scott, i Carl-Johan H. Seger. "Symbolic trajectory evaluation". W Formal Hardware Verification, 3–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63475-4_1.
Pełny tekst źródłaCerny, E., F. Corella, M. Langevin, X. Song, S. Tahar i Z. Zhou. "Automated verification with abstract state machines using multiway decision graphs". W Formal Hardware Verification, 79–113. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63475-4_2.
Pełny tekst źródłaStreszczenia konferencji na temat "Formal verification"
Wolfsthal, Yaron, i Rebecca M. Gott. "Formal verification". W the 42nd annual conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1065579.1065755.
Pełny tekst źródłaDill, David, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev Ranjan, Gunnar Stålmarck i Curt Widdoes. "Formal verification methods". W the 39th conference. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/513918.514064.
Pełny tekst źródłaDrechsler, Rolf, i Alireza Mahzoon. "Polynomial Formal Verification". W ICCAD '22: IEEE/ACM International Conference on Computer-Aided Design. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3508352.3561104.
Pełny tekst źródłaBeers, Robert. "Pre-RTL formal verification". W the 45th annual conference. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1391469.1391675.
Pełny tekst źródłaJang, Jae-Young, Shaz Qadeer, Matt Kaufmann i Carl Pixley. "Formal verification of FIRE". W the 34th annual conference. New York, New York, USA: ACM Press, 1997. http://dx.doi.org/10.1145/266021.266059.
Pełny tekst źródłaDoghri, Ines. "Formal verification of WAHS". W the 8th international conference. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1416729.1416754.
Pełny tekst źródła"Session 6: Formal verification". W 2007 IEEE International High Level Design Validation and Test Workshop. IEEE, 2007. http://dx.doi.org/10.1109/hldvt.2007.4392795.
Pełny tekst źródła"Session 4: Formal verification". W 2008 IEEE International High Level Design Validation and Test Workshop. IEEE, 2008. http://dx.doi.org/10.1109/hldvt.2008.4695872.
Pełny tekst źródłaAgrawal, Arpan, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer i Yuriy Brun. "PRoofster: Automated Formal Verification". W 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.
Pełny tekst źródłaYang, Jin, i Avi Puder. "Tightly integrate dynamic verification with formal verification". W the 2005 conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1120725.1120860.
Pełny tekst źródłaRaporty organizacyjne na temat "Formal verification"
Ernst, Michael. Verification Games: Crowd-Sourced Formal Verification. Fort Belvoir, VA: Defense Technical Information Center, marzec 2016. http://dx.doi.org/10.21236/ad1006471.
Pełny tekst źródłaAndronick, June, i Gerwin Klein. Formal System Verification - Extension 2. Fort Belvoir, VA: Defense Technical Information Center, sierpień 2012. http://dx.doi.org/10.21236/ada570949.
Pełny tekst źródłaMayer, Barbara A., i Monica M. Lu. Guidelines for Formal Verification Systems. Fort Belvoir, VA: Defense Technical Information Center, kwiecień 1989. http://dx.doi.org/10.21236/ada385357.
Pełny tekst źródłaPunnoose, Ratish J., Robert C. Armstrong, Matthew H. Wong i Mayo Jackson. Survey of Existing Tools for Formal Verification. Office of Scientific and Technical Information (OSTI), grudzień 2014. http://dx.doi.org/10.2172/1166644.
Pełny tekst źródłaAndronick, June, i Gerwin Klein. Formal System Verification for Trustworthy Embedded Systems. Fort Belvoir, VA: Defense Technical Information Center, kwiecień 2011. http://dx.doi.org/10.21236/ada541318.
Pełny tekst źródłaBerry, Daniel M. Formal Specification and Verification of Concurrent Programs. Fort Belvoir, VA: Defense Technical Information Center, luty 1993. http://dx.doi.org/10.21236/ada265201.
Pełny tekst źródłaChavan, Anand, Byoung Woo Min i Shiu-Kai Chin. HOL2GDT a Formal Verification-Based Design Methodology. Fort Belvoir, VA: Defense Technical Information Center, kwiecień 2001. http://dx.doi.org/10.21236/ada387742.
Pełny tekst źródłaMeadows, Catherine A. Formal Verification of Cryptographic Protocols: A Survey. Fort Belvoir, VA: Defense Technical Information Center, styczeń 1995. http://dx.doi.org/10.21236/ada464292.
Pełny tekst źródłaBrackin, Stephen H., i Ian Sutherland. Formal Verification of Mathematical Software. Volume 2. Fort Belvoir, VA: Defense Technical Information Center, maj 1990. http://dx.doi.org/10.21236/ada223633.
Pełny tekst źródłaDill, David L. A Federal Approach to Formal Hardware Design Verification. Fort Belvoir, VA: Defense Technical Information Center, kwiecień 2002. http://dx.doi.org/10.21236/ada400999.
Pełny tekst źródła