Search
Search Results
-
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and... -
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and... -
Lazy model checking for recursive state machines
Recursive state machines (RSMs) are state-based models for procedural programs with wide-ranging applications in program verification and...
-
Making model checking feasible for GOAL
Agent Programming Languages have been studied for over 20 years for programming complex decision-making for autonomous systems. The GOAL agent...
-
Model Checking
Model checking is the automated process of checking the correctness of one piece of software with another one. Due to uncertainty of its execution... -
Model-Checking
In this chapter, we are going to learn about model-checking with mCRL2. Model-checking is the activity of checking propertiesProperty of a given... -
Model Checking for Probabilistic Multiagent Systems
In multiagent systems, agents usually do not have complete information of the whole system, which makes the analysis of such systems hard. The...
-
Model Checking
This chapter discusses model checking which is an automated technique such that given a finite-state model of a system and a formal property, then it... -
Model Checking Software 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.T...
-
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023,... -
Autotuning Parallel Programs by Model Checking
This paper presents a new approach to autotuning data-parallel programs. Autotuning is a search for optimal program settings, which maximize its...
-
Synthesizing Promela model sketches using abstract lifted model checking
We present a novel approach to synthesize complete models from P romela model sketches by using of lifted (family-based) verification and analysis...
-
Constraint-based debugging in probabilistic model checking
A counterexample in model checking is an error trace that represents a valuable tool for debugging. In Probabilistic Model Checking (PMC), the...
-
Lifted model checking for relational MDPs
Probabilistic model checking has been developed for verifying systems that have stochastic and nondeterministic behavior. Given a probabilistic...
-
Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
Standard techniques for model checking stochastic multi-agent systems usually assume the transition probabilities describing the system dynamics to...
-
Model Checking Algorithms
In Chap. 4 , we have explained how NuSMV can be used to verify LTL and CTL formulae, and how Spin can be... -
-
Analyzing neural network behavior through deep statistical model checking
Neural networks (NN) are taking over ever more decisions thus far taken by humans, even though verifiable system-level guarantees are far out of...
-
Identify spatio-temporal properties of network traffic by model checking
Cellular networks have been widely deployed and are under ever-growing pressure from increasing energy consumption. Identifying the spatio-temporal...
-
Towards better heuristics for solving bounded model checking problems
This paper presents a new way to improve the performance of the SAT-based bounded model checking problem on sequential and parallel procedures by...