![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Formal Aspects of Computing, Volume 36
Volume 36, Number 1, March 2024
- Wolfgang Ahrendt
, Frédéric Loulergue
, Heike Wehrheim
:
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021. 1:1-1:2 - Amirfarhad Nilizadeh
, Gary T. Leavens
, Corina S. Pasareanu
, Yannic Noller
:
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking. 2:1-2:24 - Bernhard K. Aichernig
, Martin Tappler
, Felix Wallner
:
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. 3:1-3:37 - Dara Ly
, Nikolai Kosmatov
, Frédéric Loulergue
, Julien Signoles
:
Sound Runtime Assertion Checking for Memory Properties via Program Transformation. 4:1-4:46
- Bertrand Meyer
, Alisa Arkadova
, Alexander Kogtenkov
:
The Concept of Class Invariant in Object-oriented Programming. 5:1-5:38 - Lokanna Kadakolmath
, Umesh D. Ramu
:
iStar Goal Model to Z Formal Model Translation and Model Checking of CBTC Moving Block Interlocking System. 6:1-6:45
- Matteo Pradella
:
Review on Verified Functional Programming in Agda: By Aaron Stump ACM, ISBN: 978-1-97000-126-6, 246 pages, 2016. 7:1-7:2
Volume 36, Number 2, June 2024
- Victor Yodaiken:
State Machines for Large Scale Computer Software and Systems. 8 - Yinling Liu, Jean-Michel Bruel:
Modeling and Verification of Natural Language Requirements based on States and Modes. 9 - Raymond T. Boute:
The Universality of Functions in the Sciences at Large and in Computing. 10 - Max A. Little, Xi He, Ugur Kayas:
Polymorphic dynamic programming by algebraic shortcut fusion. 11 - Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro:
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis. 12 - Yuanrui Zhang, Frédéric Mallet, Min Zhang, Zhiming Liu:
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints. 13
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.