Results 211 to 220 of about 150,251 (227)

TLA+ model checking made symbolic

2019
Igor Konnov
exaly  

TLA

2005
openaire   +1 more source

Encoding $$\textrm{TLA}^{+}$$ Proof Obligations Safely for SMT

Lecture Notes in Computer Science, 2023
exaly  

Checking Cache-Coherence Protocols with TLA+

Formal Methods in System Design, 2003
exaly  

Specifying and verifying PLC systems with TLA+ : A case study

Computers and Mathematics With Applications, 2010
exaly  

Effects of TLA on rheological, aging, and chemical performance of SBS modified asphalt

Construction and Building Materials
Xiao Zhang, Wei Jiang
exaly  

TLA application

Tribology International, 1979
openaire   +1 more source

The TLA phenomenon

Nursing Standard, 1991
openaire   +1 more source

Specifying Concurrent Program Based on TLA

Applied Mechanics and Materials, 2014
exaly  

Research on Application Technology of TLA Modified Asphalt Mixture

Advanced Materials Research, 2011
exaly