Toolchain swMATH ID: 9517 Software Authors: Appel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier Description: Verified Software Toolchain: The software toolchain includes static analyzers to check assertions about your program; optimizing compilers to translate your program to machine language; operating systems and libraries to supply context for your program. The Verified Software Toolchain project assures with machine-checked proofs that the assertions claimed at the top of the toolchain really hold in the machine-language program, running in the operating-system context. Homepage: http://vst.cs.princeton.edu/ Related Software: Coq; K Prover; z3; seL4; Charge!; GitHub; VCC; Dafny; Maude; HIP; Rust; VeriFast; Bedrock; Boogie; Smallfoot; HACL*; Infer; Haskell; CompCert; VST-Floyd Cited in: 30 Publications Further Publications: http://vst.cs.princeton.edu/#papers all top 5 Cited by 77 Authors 5 Appel, Andrew W. 5 Beringer, Lennart 4 Birkedal, Lars 4 Roşu, Grigore 4 Ştefănescu, Andrei 3 Bizjak, Aleš 3 Dodds, Josiah 3 Krebbers, Robbert 2 Bengtson, Jesper 2 Blazy, Sandrine 2 Dreyer, Derek R. 2 Hobor, Aquinas 2 Jourdan, Jacques-Henri 2 Jung, Ralf 1 Amtoft, Torben 1 Barthe, Gilles 1 Besson, Frédéric 1 Betarte, Gustavo 1 Boston, Brett 1 Breese, Samuel 1 Campo, Juan Diego 1 Cao, Qinxiang 1 Charguéraud, Arthur 1 Christensen, Michael F. 1 Ciobâcă, Ştefan 1 Cousino, Andrew 1 Dockins, Robert 1 Dodds, Joey 1 Dodds, Mike 1 Felty, Amy P. 1 Gandhi, Rajeev 1 Grütter, Samuel 1 Guéneau, Armaël 1 Gunter, Elsa L. 1 Hardekopf, Ben 1 Hatcliff, John 1 Huffman, Brian 1 Itzhaky, Shachar 1 Jacobs, Bart 1 Kumar, Ramana 1 Leow, Wei Xiang 1 Leroy, Xavier 1 Li, Liyi 1 Luna, Carlos 1 Malecha, Gregory 1 McMahan, Joseph 1 Mereuta, Radu 1 Mohan, Anshuman 1 Momigliano, Alberto 1 Moore, Brandon M. 1 Myreen, Magnus O. 1 Narasimhan, Priya 1 Naumann, David A. 1 Nichols, Lawton 1 Norrish, Michael 1 Ou, Xinming 1 Paviotti, Marco 1 Peleg, Hila 1 Petcher, Adam 1 Pichardie, David 1 Pientka, Brigitte 1 Piessens, Frank 1 Polikarpova, Nadia 1 Pottier, François 1 Roesch, Jared 1 Rowe, Reuben N. S. 1 Şerbănuţă, Traian Florin 1 Sergey, Ilya 1 Sherwood, Timothy 1 Sieczkowski, Filip 1 Stewart, Gordon 1 Svendsen, Kasper 1 Tan, Jiaqi 1 Tay, Hui Jun 1 Vogels, Frédéric 1 Wilke, Pierre 1 Zhang, Zhi all top 5 Cited in 6 Serials 5 Journal of Automated Reasoning 2 Logical Methods in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Theoretical Computer Science 1 Formal Methods in System Design 1 Journal of Functional Programming Cited in 3 Fields 30 Computer science (68-XX) 13 Mathematical logic and foundations (03-XX) 3 Information and communication theory, circuits (94-XX) Citations by Year