Abstract is missing.
- Structured Specification of Paraconsistent Transition SystemsJuliana Cunha, Alexandre Madeira, Luís Soares Barbosa. 1-17 [doi]
- Towards a Basic Theory for Partial Differentiation in the Prototype Verification SystemAndrea Domenici. 18-24 [doi]
- Case Studies of Development of Verified Programs with Dafny for Accessibility AssessmentJoão Pascoal Faria, Rui Abreu 0001. 25-39 [doi]
- TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths GenerationEbrahim Fazli, Ali Ebnenasir. 40-54 [doi]
- An Optimised Complete Strategy for Testing Symbolic Finite State MachinesWen-ling Huang, Niklas Krafczyk, Jan Peleska 0001. 55-71 [doi]
- Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family ModelsEhsan Khamespanah, Marjan Sirjani, Ramtin Khosravi. 72-87 [doi]
- Interaction-Based Offline Runtime Verification of Distributed SystemsErwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. 88-103 [doi]
- Genetic Algorithm for Program SynthesisYutaka Nagashima. 104-111 [doi]
- Template-Based Conjecturing for Automated Induction in Isabelle/HOLYutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang. 112-125 [doi]
- Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework)P. H. M. van Spaendonck. 126-141 [doi]
- kProp: Multi-neuron Relaxation Method for Neural Network Robustness VerificationXiaoyong Xue, Xiyue Zhang, Meng Sun 0002. 142-156 [doi]