| Display title | Composing model programs for analysis |
| Default sort key | Composing model programs for analysis |
| Page length (in bytes) | 15 |
| Namespace ID | 0 |
| Page ID | 8796622 |
| Page content language | en - English |
| Page content model | wikitext |
| Indexing by robots | Allowed |
| Number of redirects to this page | 1 |
| Counted as a content page | Yes |
| Page views in the past month | 0 |
| MaRDI portal item ID | Q710670 |
| Edit | Allow all users (infinite) |
| Move | Allow all users (infinite) |
| Page creator | Import240129110113 (talk | contribs) |
| Date of page creation | 10:58, 30 January 2024 |
| Latest editor | AllProfilePages260409040437 (talk | contribs) |
| Date of latest edit | 18:00, 11 April 2026 |
| Total number of edits | 2 |
| Recent number of edits (within past 90 days) | 1 |
| Recent number of distinct authors | 1 |
| Transcluded templates (21) | Pages included on this page:
|
| MaRDI portal entities used in this page | - published in
- Miscellaneous (e.g. entity existence)
- Label: en
- full work available at URL
- Miscellaneous (e.g. entity existence)
- Label: en
- Mathematics Subject Classification ID
- Miscellaneous (e.g. entity existence)
- Label: en
- publication date
- Miscellaneous (e.g. entity existence)
- Label: en
- Testing of software and communication systems. 21st IFIP WG 6.1 international conference, TESTCOM 2009 and 9th international workshop, FATES 2009, Eindhoven, The Netherlands, November 2--4, 2009. Proceedings
- Defining conditional independence using collapses
- z3
- The Journal of Logic and Algebraic Programming
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- NModel
- SpecExplorer
- Logics of specification languages
- Margus Veanes
- Promoting models
- Input-Output Model Programs
- Symbolic bounded conformance checking of model programs
- Efficient program synthesis in computational models
- The Composition of Event-B Models
- State Isomorphism in Model Programs with Abstract Data Structures
- Composition of Model Programs
- Q3789046
- Formal verification of parallel programs
- The B-Book
- Q4209092
- Q4472546
- Q4532083
- Q4809077
- Evolving Algebras 1993: Lipari Guide
- Dynamic partial-order reduction for model checking software
- Refinement, decomposition, and instantiation of discrete models: application to Event-B
- Game models for open systems
- Model-Based Software Testing and Analysis with C#
- On Bounded Reachability of Programs with Set Comprehensions
- Partial updates
- Q5592246
- Q5692280
- FM 2005: Formal Methods
- Tools and Algorithms for the Construction and Analysis of Systems
- Jonathan Jacky
- Composing model programs for analysis
- Title
- Miscellaneous (e.g. entity existence)
- Label: en
- Some statements
- Sitelink
- Formal techniques for networked and distributed systems -- FORTE 2008. 28th IFIP WG 6.1 international conference Tokyo, Japan, June 10--13, 2008. Proceedings
|
