Matches in SemOpenAlex for { <https://semopenalex.org/work/W3106097923> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3106097923 endingPage "62" @default.
- W3106097923 startingPage "50" @default.
- W3106097923 abstract "We discuss the workflows supported by the TLA+ Toolbox to write and verify specifications. We focus on features that are useful in industry because its users are primarily engineers. Two features are novel in the scope of formal IDEs: CloudTLC connects the Toolbox with cloud computing to scale up model checking. A Profiler helps to debug inefficient expressions and to pinpoint the source of state space explosion. For those who wish to contribute to the Toolbox or learn from its flaws, we present its technical architecture." @default.
- W3106097923 created "2020-11-23" @default.
- W3106097923 creator A5032984162 @default.
- W3106097923 creator A5040623453 @default.
- W3106097923 creator A5046033920 @default.
- W3106097923 date "2019-12-23" @default.
- W3106097923 modified "2023-10-05" @default.
- W3106097923 title "The TLA+ Toolbox" @default.
- W3106097923 cites W1973938051 @default.
- W3106097923 cites W2015688007 @default.
- W3106097923 cites W2023808162 @default.
- W3106097923 cites W2045689965 @default.
- W3106097923 cites W2064070573 @default.
- W3106097923 cites W2140595120 @default.
- W3106097923 cites W2159675211 @default.
- W3106097923 cites W2971743981 @default.
- W3106097923 cites W4232500117 @default.
- W3106097923 doi "https://doi.org/10.4204/eptcs.310.6" @default.
- W3106097923 hasPublicationYear "2019" @default.
- W3106097923 type Work @default.
- W3106097923 sameAs 3106097923 @default.
- W3106097923 citedByCount "21" @default.
- W3106097923 countsByYear W31060979232020 @default.
- W3106097923 countsByYear W31060979232021 @default.
- W3106097923 countsByYear W31060979232022 @default.
- W3106097923 countsByYear W31060979232023 @default.
- W3106097923 crossrefType "journal-article" @default.
- W3106097923 hasAuthorship W3106097923A5032984162 @default.
- W3106097923 hasAuthorship W3106097923A5040623453 @default.
- W3106097923 hasAuthorship W3106097923A5046033920 @default.
- W3106097923 hasBestOaLocation W31060979231 @default.
- W3106097923 hasConcept C115903868 @default.
- W3106097923 hasConcept C120665830 @default.
- W3106097923 hasConcept C121332964 @default.
- W3106097923 hasConcept C123657996 @default.
- W3106097923 hasConcept C142362112 @default.
- W3106097923 hasConcept C153349607 @default.
- W3106097923 hasConcept C168065819 @default.
- W3106097923 hasConcept C177212765 @default.
- W3106097923 hasConcept C192209626 @default.
- W3106097923 hasConcept C199360897 @default.
- W3106097923 hasConcept C2777655017 @default.
- W3106097923 hasConcept C2778012447 @default.
- W3106097923 hasConcept C41008148 @default.
- W3106097923 hasConcept C48103436 @default.
- W3106097923 hasConcept C77088390 @default.
- W3106097923 hasConceptScore W3106097923C115903868 @default.
- W3106097923 hasConceptScore W3106097923C120665830 @default.
- W3106097923 hasConceptScore W3106097923C121332964 @default.
- W3106097923 hasConceptScore W3106097923C123657996 @default.
- W3106097923 hasConceptScore W3106097923C142362112 @default.
- W3106097923 hasConceptScore W3106097923C153349607 @default.
- W3106097923 hasConceptScore W3106097923C168065819 @default.
- W3106097923 hasConceptScore W3106097923C177212765 @default.
- W3106097923 hasConceptScore W3106097923C192209626 @default.
- W3106097923 hasConceptScore W3106097923C199360897 @default.
- W3106097923 hasConceptScore W3106097923C2777655017 @default.
- W3106097923 hasConceptScore W3106097923C2778012447 @default.
- W3106097923 hasConceptScore W3106097923C41008148 @default.
- W3106097923 hasConceptScore W3106097923C48103436 @default.
- W3106097923 hasConceptScore W3106097923C77088390 @default.
- W3106097923 hasLocation W31060979231 @default.
- W3106097923 hasLocation W31060979232 @default.
- W3106097923 hasOpenAccess W3106097923 @default.
- W3106097923 hasPrimaryLocation W31060979231 @default.
- W3106097923 hasRelatedWork W1498982577 @default.
- W3106097923 hasRelatedWork W1536968357 @default.
- W3106097923 hasRelatedWork W1578053891 @default.
- W3106097923 hasRelatedWork W1587224678 @default.
- W3106097923 hasRelatedWork W1601811574 @default.
- W3106097923 hasRelatedWork W2364519557 @default.
- W3106097923 hasRelatedWork W3089325901 @default.
- W3106097923 hasRelatedWork W3106097923 @default.
- W3106097923 hasRelatedWork W3211370011 @default.
- W3106097923 hasRelatedWork W4213101956 @default.
- W3106097923 hasVolume "310" @default.
- W3106097923 isParatext "false" @default.
- W3106097923 isRetracted "false" @default.
- W3106097923 magId "3106097923" @default.
- W3106097923 workType "article" @default.