Cover Image

Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bezhanishvili, Nick, Bussi, Laura, Ciancia, Vincenzo, Gabelaia, David, Jibladze, Mamuka, Latella, Diego, Massink, Mieke, de Vink, Erik P.
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Practical Exploration of Polyhedral Model Checking
by: Andriaccio, Yuri, et al.
Published: (2025)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
by: Bezhanishvili, Nick, et al.
Published: (2024)

A review of the impact on XP methodology of business model inclusion in requirements elicitation
by: Hugo Armando Ordoñez E.
Published: (2015)

Software
Published: (2023)

Systematic Mapping of the Literature on Smells in Software Development Requirements
by: Mayra-Alejandra Castillo-Motta
Published: (2023)

On Bisimilarity for Quasi-discrete Closure Spaces
by: Ciancia, Vincenzo, et al.
Published: (2023)

Agile Functional Requirements Modeling from Goal-Oriented Requirements Engineering: A Systematic Mapping Study
by: Francy-Idaly Muelas-Muelas
Published: (2022)

Task Completion Times and Complexity Metric Values from a Controlled Molecular Integration Study
by: Vierlboeck, Maximilian, et al.
Published: (2026)

Computer Aided Verification
Published: (2023)

Computer Aided Verification
Published: (2023)

The application of and unresolved problems regarding the use of objectives in software engineering
by: L.A. Lezcano
Published: (2012)

Defining DSL design principles for enhancing the requirements elicitation process
by: J. Guadalupe Ramos-Díaz
Published: (2012)

A visual analytics architecture for the analysis and understanding of software systems
by: Antonio González-Torres
Published: (2019)

Information quality and quantity-based model to represent the appropriateness of software requirements elicitation techniques
by: Luis Aguirre-Arredondo
Published: (2017)

On a class of generalized Berwald manifolds
by: Tayebi, Akbar, et al.
Published: (2024)

Selfie Verification: A Comprehensive Guide to Secure Identity Authentication in the Digital Age
by: Crypto Education Research Lab
Published: (2025)

USING GROUNDED THEORY AS A METHOD FOR SYSTEM REQUIREMENTS ANALYSIS
by: Mohanad Halaweh
Published: (2012)

Logics of polyhedral reachability
by: Bezhanishvili, Nick, et al.
Published: (2024)

Frontiers of Combining Systems
Published: (2023)

Computer Aided Verification
Published: (2023)

Banach contraction theorem on fuzzy cone b-metric space
by: Surjeet Singh Chauhan (Gonder)
Published: (2020)

Fundamental Approaches to Software Engineering
Published: (2018)

Requerimientos nutricionales de juveniles de camarón blanco (Litopenaeus schmitti): evaluación de dietas prácticas
by: Galindo, J., et al.
Published: (2002)

Computer Aided Verification
Published: (2022)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact)
by: Arquint, Linard, et al.
Published: (2025)

On Finsler metrics of quadratic curvature
by: Sadeghzadeh, Nasrin
Published: (2018)

What do researchers mean by “the right requirements elicitation techniques”?
by: Dante Carrizo
Published: (2016)

Lean Aps Recursion Uniformization (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Closure (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
by: Spivack, Nova
Published: (2026)

UGP/GTE Lean formalization
by: Spivack, Nova
Published: (2026)

Speaker Verification in Different Database Scenarios
by: Leibny Paola García Perera
Published: (2011)

Computer Aided Verification of Relational Models by Strategic Rewriting
by: Claudia M. Necco
Published: (2017)

Coherent Dynamic Casimir Emission in Toroidal MEMS Arrays: A Master Equation for Vacuum-Engineered Spacetime Strain
by: Manzella, Edgar
Published: (2026)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
by: Ahmed, Amal
Published: (2018)

Amino acid composition of whole body, egg and selected tissues of white sturgeon (Acipenser transmontanus)
by: Wing Keong Ng & Silas S.O. Hung
Published: (1994)