Z
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Refinement and verification in component-based model-driven design
- Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository
- Mechanising a formal model of flash memory
- POSIX file store in Z/Eves: An experiment in the verified software repository
- HasCasl: integrated higher-order specification and program development
- Abstract interface behavior of object-oriented languages with monitors
- A UTP semantics for \textsf{Circus}
- Model checking action system refinements
- Relational concurrent refinement. II: Internal operations and outputs
- FDR explorer
- Trace-based derivation of a scalable lock-free stack algorithm
- A formal framework for modeling and validating simulink diagrams
- Decidable fragments of many-sorted logic
- VDM and Z: A comparative case study
- Multi-relations in Z. A cross between multi-sets and binary relations
- A heuristic method for generating large random expressions
- CCSP
- CirCUs
- HasCasl
- KILLING
- Annotations in formal specifications and proofs
- Defining relationships in ecology using object-oriented formal specifications
- Transformational vs reactive refinement in real-time systems
- RelView
- REPSN
- Riegeom
- The formal specification of abstract data types and their implementation in Fortran 90
- Lambda Library C++
- PLTMGC
- A temporal logic for real-time partial ordering with named transactions
- APS-1
- Alloy
- GeneSyst
- jContractor
- rCOS
- Smalltalk
- SecureUML
- ArcAngel
- LARCH
- CASL
- AGATHA
- LOTOS
- HOL-Z
- SPARK
- RAISE
- A calculus for schemas in Z
- TCOZ
- Mobile agent evolution computing
- Eiffel
- Model-based specification
- Daikon
- Simulink
- StateFlow
- Petruchio
- TLA
- Special issue: Perturbation methods and formal modeling for dynamic systems
- JACK
- Designing a semantic model for a wide-spectrum language with concurrency
- Relating trace refinement and linearizability
- JATLite
- NISPOC
- TAS
- Spectral structures and topological methods in mathematical quasicrystals. Abstracts from the workshop held October 1--7, 2017
- Working session: Additive combinatorics, entropy, and fractal geometry. Abstracts from the working session held October 8--13, 2017
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- Computability theory. Abstracts from the workshop held January 7--13, 2018
- Mini-workshop: Chromatic phenomena and duality in homotopy theory and representation theory. Abstracts from the mini-workshop held March 4--10, 2018
- Angelic processes for CSP via the UTP
- RCOS: a formal model-driven engineering method for component-based software
- Abstract state machines: a unifying view of models of computation and of system design frameworks
- Finding models through graph saturation
- Relation algebra as programming language using the Ampersand compiler
- An abstract model for proving safety of autonomous urban traffic
- CZT
- Richer types for \(Z\)
- CafeOBJ
- ArcAngelC
- ProofPower
- ClawZ
- UTP2
- JCML
- Casper
- A fixpoint theory for non-monotonic parallelism
- Manipulating algebraic specifications with term-based and graph-based representations
- From Boolean algebra to unified algebra
- ZUM '95: The Z formal specification notation. 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995. Proceedings
- Unification: A case-study in data refinement
- A formal model of explanation
- SCR
- Specification by interface separation
- A theory of Orwellian specifications with NewThink
- Rodin
- ProB
- Z2sal
- A blocking model for reactive objects
- The consistency theorem for free type definitions in \(Z\)
- MUNCH
- GATeL
- STG
- Temporal-logic property preservation under Z refinement
This page was built for software: Z
