Abstract is missing.
- Combinations of Reusable Abstract Domains for a Multilingual Static AnalyzerMatthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout. 1-18 [doi]
- Uncertainty, Modeling and Safety Assurance: Towards a Unified FrameworkMarsha Chechik, Sahar Kokaly, Mona Rahimi, Rick Salay, Torin Viger. 19-29 [doi]
- Quantifying Information Leakage Using Model Counting Constraint SolversTevfik Bultan. 30-35 [doi]
- Verifiable Homomorphic Tallying for the Schulze Vote Counting SchemeThomas Haines, Dirk Pattinson, Mukesh Tiwari. 36-53 [doi]
- Incremental Minimization of Symbolic AutomataJonathan Homburg, Parasara Sridhar Duggirala. 54-67 [doi]
- Seamless Interactive Program VerificationSarah Grebing, Jonas Klamroth, Mattias Ulbrich. 68-86 [doi]
- Formal Verification of Workflow Policies for Smart Contracts in Azure BlockchainYuepeng Wang 0001, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles. 87-106 [doi]
- Ghost Code in Action: Automated Verification of a Symbolic InterpreterBenedikt Becker, Claude Marché. 107-123 [doi]
- DCSynth: Guided Reactive Synthesis with Soft RequirementsAmol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel. 124-142 [doi]
- Refinement Type Contracts for Verification of Scientific Investigative SoftwareMaxwell Shinn. 143-160 [doi]
- solc-verify: A Modular Verifier for Solidity Smart ContractsÁkos Hajdu, Dejan Jovanovic. 161-179 [doi]
- Intersection and Rotation of Assumption Literals Boosts Bug-FindingRohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier. 180-192 [doi]